Well you've already bitten the bullet but everything you said is basically right and it should just work. They should be fairly similar driver wise (if not the same driver) but I'd try and remove any/all old drivers and start as clean as you can though.

Whilst it's Mini PCI-E you'll probably find they are actually a USB type connection so fairly generic and even brand to brand shouldn't be much problem.

Presume this is under Windows? *nix/BSD drivers can be a a bit lagging on the newer models?