I see the DX80 card as an available selection in VMMI, but I still haven't heard anything about actual availability of the card.

Sorry to drag up an old thread, but this is exactly my question, so continuing the thread seemed to be of no harm, since it's due for an update. Does anyone have an update on the release of the card, or has it been tossed?