FSM has the FJ60 clutch pedal height at 7.13", I'm assuming that's with OEM carpet. Has anyone figured out the appropriate pedal height w/o carpet or padding? I measured my old FJ62 front carpet and the padding is ~1/4" thick, about the same as the carpet. So I'm thinking of adjusting the pedal height to 7-5/8" (7.625"). Probably close enough, right?