You can indeed plug a battery into the battery connector
pins on the motherboard. I do not remember the pin
assignments, but it might be in the 4000T hardware manual.
There is not one specifc type of battery that I know of
that you must use, but here is a link to some possibilities.
Batteries at Radio ShackObviously the ones with cords might be appropiate.
When mine died, I removed the original battery and
soldered a coin holder from a 486 motherboard in its
place. Now I can replace the battery with another coin
style battery. It is not hard, but you have to
disassemble the computer to purse this solution.
C Snyder