IRS allows offsetting gambling winning with gambling losses.
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”).