Surely that machine used to pay 4000 coins for 3 double diamonds, with option for $1000 cash or $800 + a $200 strike?
()