One would think then, that if “they” can report his winnings, “they” should also be able to tell us if he reported his losses (which, if he was a straight-shooter would most likely be within a few percentage points of his “winnings”).
IRS allows all kinds of expenses to be included in losses including travel and accommodations. No way a casino would be able to or be required to track.