Not 100% sure on this but i also believe the machine they gave away was being played by everyone and anyone at MMM (if it is that one) during the length of the comp.

I would ask if he got it new in box, and not just the pinball itself as it may have had alot more than a few games. Again if this is the MMM one.