Quoted from Mike_J:Have them put on the new decals.
Not too sure about this. How much experience does this pinball distributor have removing decals and applying new? The final product may be worse than what he has now. If it's not HEP doing the decals, I'd live with the smudge and pocket the $200.