You are referring to the "barrel-type" battery I presume (don't
know what RTC stands for though). Luckily I have a "coin" variant in
my A4000 - it's still in there even though it is long since used
up. I put in a replacement battery years ago - it is attached
with velcro on the inside of the case, having a wire connecting
to the right plug-in on the motherboard.
.
SlimJIm