If you decide to move the pedals, Classic Roadsters assembly manual had excellent instructions. I’d be gladto photocopy them and send them along.

In addition to shortening the clutch and acelerator cables and moving the pedal cluster…

Those cables run in tubes within the center tunnel. You need to cut those tubes, deburr the cuts and reattach the tubes to the inside of the tunnel.

And you have to move the stop on the floor for the clutch and brake pedals (or make a new one).

It’s all pretty straight forward. And there’s no real need for your mechanic to figre it out on his own.

Lemme know if you want the detail directions.