Alrighty then, I'm off tomorrow to buy a card reader/writer.
BTW, all the resellers are out of stock on the cable (lik-sang, play-asia, gp32z, etc.) but you can order them direct from gp32.com if you can figure out the Korean. They're 11 000 won, or about $7 US, plus shipping of course...