WOW - it sounds like you found an excellent mechanic. That is amazing. With 1st gear restored the car will be much better. Don't forget to clock it 0-60 with a stopwatch as a baseline, when you get it back.

Even better if he was able to stop the main leak on the IP. If it wasn't totally re-sealed, don't be surprised if there are minor leaks from other seals. It's pretty common for the IP to "weep" and get an oily film which attracts dust & dirt, even if there are no oil drips. Only way to fix that is a total re-seal. Worst one is the L7 rack travel electrical connector up top, which cannot have the O-ring replaced without full pump disassembly. You can use a thin bead of sealant under the locknut as a Band-Aid during a re-seal for that one, everything else can be done on the workbench.

So when do you get the car back?