He really should just take the $2500 and run. The machine (or a sign in the general area of the machine)
clrearly states the max payout is $2500, how can he expect to do any better then that? Especially if the casino can prove the jackpot was an error. In that situation $2500 sounds like a gift, and most likely the casino offered it to make the whole affair go away.