This is probably a stupid question, but are these CMOS batteries rechargeable,
by which I mean, if the computer was provided with mains power, and left
switched on for a day or two, would the battery absorb enough charge to
retain the BIOS settings through the next shutdown and restart?
vv.