In the story, those machines are called Double Up - my wife and I called them double down, and they were super fun machines. You win a hand video poker, and you had the opportunity to double your win. You were dealt a card face up, then had to chose one of four cards that would need to be higher.
They went away 10 years or so ago - and this is why.
Thanks for the link.