Good Morning Archie,
Yes, the casino MUST fill out the proper paperwork if the payout is $1,200.00 or more.
There are two possible explanations:
1) No one has "hit" a jackpot of $1,200.00 or more.
or
2) When the customer takes the ticket to the cage for payout - all paperwork is filled out at that time.

Now the majority of casinos allow for the ticket payout to be reinserted into another machine. I assume the casino's internal control would prevent a payout ticket of $1,200 or more from being played and thereby forcing the customer to the cage for the necessary paper work.

While the Gaming Industry Specialist for the IRS I advocated allowing the customer to play until he completely finished for the gaming session. True, he might play until the ticket was under $1,200 but what difference does it make. Eventually, if he continues to play he will lose it all anyway. . The concept of taxing a "true" winner went beyond the understandable for the government bureaucrats.

If one does not understand the gaming process, one cannot develop the proper guidelines for reporting gaming wins. However, what do I know?
You should see the ton of paperwork generated by the ridiculous $1,200 amount. My study indicted paperwork would be cut by more than 90% for the casino if the win amount was raised to $10,000.

I also advocated changing the "winning" amount to $10,000 or more. Let's be honest - these casinos are not built on winners. No one would listen. Glad I left when I did.
Have a good day Archie.
Jim