Hey folks

Anyone know the size of the top bolt needed for a Y60 clutch pedal bracket?

I'm thinking M8 x 20mm or thereabouts?

(It's the one you have to dismantle half the dash to install/get at...)