I would like to add the PCMCIA socket mentioned as a possibility by Jeff to Dave's wish list (mainly because it is very difficult to come by in some parts of the world). Klaus.
