Guessing this is it:
https://pinside.com/pinball/market/classifieds/archive/44458
Being a Florida boy, I don't personally know Jeff and have only bought stencils from him on one occasion.
FWIW, I've moved older Ballys two hundred miles and have had issues that were non-existent when I left the seller's house.
I also wouldn't be surprised if your tech screwed you, too. We've got some people down here that claim they repair pinball and, honestly, they don't know shit. The same people over quote repair estimates to try to get you to sell a game cheap so they can add nicer games to their collections and/or flip it.
I'd definitely ask for detailed breakdown. From there, you can compare what was wrong to what was repaired and get a true answer.