No real choice if using the OS7200, the MGI64 is only for OS7100 and OS7400.
I don't know if MGI16 card's are still sold in the US or not, that's your only other option, but then you don't get MPS.