No. There was just one W2G form. The 5754 form was completed and included in the tax information sent to the IRS. There did not seem to be any reason to inform the casino about this matter at the time.
This was last done by me in 2003 with no negative followup.
Steveinnv
[Non-text portions of this message have been removed]