I would prefer to use the Mini PCI option because A) I already have the card and B) I don't really want to have something sticking out the side. Also, I thought another benefit for using Mini PCI is that it uses less resources than PCMCIA... but maybe I'm wrong here (could've gotten it mixed up with USB?). I've also heard that internal antennas get better signal strength than PCMCIA cards too.
I'll prolly search around locally to see if I can get my hands on some antennas so I can save on shipping but will prolly have to resort to online. I have extensive experience with working on desktops and after reviewing the maintenance manual it seems to be a walk in the park (famous last words of course)
Wish me luck! Will post an update on my install experiences if I ever get to tracking down those elusive aftermarket antennas!
Thanks for everyone's input
Cheers!