For $10K it probably has a good size power supply to feed the tubes. If I paid that much for a CD player, I would consider a separate 20 amp circuit for it, even if it was across the house from the breaker box. I see no downside.
Looking at photos of the rear of your cd player, it does not have the 20A male IEC power cord receptacle. The pin pattern for a 20A cord is different than a 15A cord. What makes you think you have a 20A cord?
You must have a verified phone number and physical address in order to post in the Audiogon Forums. Please return to Audiogon.com and complete this step. If you have any questions please contact Support.