He is already KYC. A transfert is considered a sale unless you keep track of the other receiving address and write it off as a transfert.

If he doesn’t want to declare his gain now, might as well leaving it there