OK, I'm guessing a $5 table and the Royal Flush bonus was $10,000 vs $20,000 to make the $25,000.
Is that correct?