Things like this are why I always prefer to buy my machines from someone not in the industry.
I'd rather get a machine at a reasonable cost from an individual who knows noting of pinball (of course I know it will require $200 to be made perfect) or even buy one from a collector at market/above who has taken care of it rather than than pay over market for a machine that was assembled with trickery like many sellers do.
Death by unga bunga!