A good idea is to register your serial numbers on IPDB and have your serial numbers written on your purchase receipts which can help later with Police or anyone saying that the machine is in dispute.
Karma catches up with all thieves.
Exactly.
Stealing a pinball machine is definitely a dog act. Will be interesting to find out what really happened once (if) the game is located.