The problem seems to be because the 4gb SDHC card is FAT32 (I think) and not FAT16. I tried it on several PCs at work and none could read it. Then someone had a Sandisk Micromate so we put the card into that and it was readable!
I think the Micromate (and camera) must effectively make the card appear as FAT16 to the PC.