I have a Top Loader 4 speed connected to a 429 in my '27 Ford Roadster. The clutch is 11.5" and needs to be replaced. The shop that's going to do the work tells me the 11.5" clutch is no longer available and must be replaced with a 12". Anybody know for sure? If so, any recommendations on brand and part number?