(Sorry if this belongs in technical) Does anyone know what the diameter of the original shift knob on the F512M was? My understanding is the smaller knobs on all the cars were 47mm, but I talked to an owner who believes that model was 46mm. I know it was a limited production model and nothing would surprise me. Anyone out there know? TIA! Brent