I thought if a gearbox has never been thrashed the first thing to go would be the clutch? Like lithium said double clutching is unnecessary with cars that have synchros but they do have benefits like saving your synchros. I think with modern cars double clutch is almost pointless I'd say single clutch revmatches are enough.