Originally posted on 11/24/2012:

The player should be paid in full less the $3.900 he won on the erroneous payout.

Case closed. Let's move on to the next.