Sorry this happened to your buddy Chris!
I had my first house burn mostly down and it was not a pleasent experience. Luckily nobody was hurt. I had resotred the entire house and moved away and was renting it to some stoner college kids. The one girl assuradly got baked on the backporch and left a lit cig in an overflowing ashtray. She went in the house to take a nap and woke up to the entire back side of the house in flames. She got out with the dog and called me before even calling the fire dept. Even stoners are supposed to know you call the fire dept first and then the landlord.
Everything in the house was trashed. I had a bunch of stuff in my storage spot in the basement and it took forever to get smoke damage out.
Lots of good advice here. I know the ozone generators work great. I can not even imagine the amount of work that would go in to cleaning an entire pinball collection with extensive smoke damage, but I would think in this case he would be better off pushing for them to be considered a total loss anf then take the insurance $$ and go buy new replacements.
side note > if the insurance company lets you keep the damaged machines, I am interested
Side story...
After the tenants moved out as the house was condemmed, they left a tons of stuff behind that they did not want to deal with (they had insurance and we pretty loaded). I went through with some buddies to find anything salavageable (stuff in rubbermaids and well packaged) to donate to goodwill. There is no power ot the house and it is getting dark. My one buddy upstrairs is laughing hysterically and comes to the top of the stairs. Yells to my buddy #2 in the basement, "Hey, check this out" and tosses something.
Since it is dark in the basement but lighter at the top of the stairs, buddy #2 can not see what is coming at him but instinctively catches what is coming towards his face. It takes about 3 seconds before he realizes it is a large flopping/vibrating orange dong. I guess the tenant forgot to remove her box of fun toys. Needless to say we did not donate those to goodwill...