I'm shopping for a PCMCIA ethernet card. Could those of you who've gotten such a beastie working on your TP75x running OS/2 please tell me what brand and model card you used? Thanks.