Sounds like the seller--maybe the buyer as well--are new to the rough and tumble pinball ownership world and this was just a case of not knowing what you are doing.
Doesn't sound like the seller did this with malice. I would chalk it up as a learning experience on both sides. If the buyer has lost any money in fees it would go a long way in karma points if the seller chipped in there.