Two weeks ago I had a 4000 mobo that booted up but only showed 2 megs of memory, but had all the memory sticks installed.
So I repaired all the traces that was damaged by the leaking NiCa battery, and installed a Lithium coin case and battery from a HP mobo. Eveything working fine even the clock which wasn't working before.
ps. I have 2 other 4000 mobo that need repaired but need Rom chips. So if there is someone who has up graded to 3.1 roms but wants to sale the old 3.0 roms let me know.