I look at those vids and think those tossers don't care less about pinball or the hobby. If they did they certainly wouldn't do that. I'm sure plenty of hobbiests would have taken those games and tried to save them.
I wouldn't feed these people if they were local to me.