Yes, these were Silver Strikes and it was a quarter machine, not a dollar machine. With three quarters played for each spin. The payouts basically are correct except different colored sevens get different payouts. 1 strike for three sevens of any color, two strikes for three blue sevens, three strikes for three white sevens and five strikes for three red sevens.

They are good traders and not worth much more than face value, although sometimes sell for about $13 on eBay. As a souvenir coin they are nice, but mostly they are for collectors. Depending on how much he spent, he may have done quite well and made a profit by turning them back in to the cage...hope this answers your questions.