Dell doesn't have anything listed for these cards on their site?

If it is just MBA then it should be fine assuming the card is still working. MBA is for remote booting which I doubt you're using.