Just as a general point, what if you have already put $1500 into the mahine before getting the $1200 jackpot? What is the position then, other than 'sad'?