I would post a listing of the theft on craigs list with the estimated value of the pinball and info/pics. Maybe post a reward for its return? This may prevent it from getting scrapped at least.

I have been robbed many times by my white trash neighbors kids. They wait until I leave and they break my windows and grab as much as they can before the police arrive due to the alarm they know is in the house. Police have done nothing due to them being under 18. Penalty for stealing should be much higher than it is now. One major problem is that certain groups in the population would be much more affected and that would create controversy.

The other pin HH is a hundred pounds heavier, larger triple level WB, and had it legs on. Twice as hard or more to move and is only worth what like $3k so not in any sense like BBB.

However it seems to me to be a targeted theft most likely.