Yeah, I wonder if he got his tax bill yet.
It would be deducted from his winnings at the standard bonus rate.