I've seen that same info about the clutch pedals in several places.