I am working on my old 5300ce which has the shaky old power supply problem that is endemic to the 190-5300 models. I vaguely remember that there was a PCMCIA card that one could use to power the computer instead. Does anyone remember this or is my memory playing me false? Thank you.