What if he don't withdraw and play more games with this winning amount ?  Even if he withdraws, he will never know his tx id for privacy reasons. If he does not claim that if he has any withdrawals problem, you should assume that he has been able to withdraw sucessfully.