wouldn't have a nice story like that to tell!! I once was playing slots at the Boulder Station when the machine locked up, just as you described, and I found I'd won a random casino jackpot . . . of $5.00. They gave it as slot credit rather than hunting around for a band to put around a Lincoln. But I can say that Station Casinos sometimes pulls such happy pranks on their players. $12,500 though . . . the lightning never struck for me.