Wouldn't he have to have the video cable plugged into the onboard video connector to use it. It sounds like he has the cable plugged into the MX card.
Are benchmarking the MX card at 16bit color(higher scores), or 32bit color? That V3 3k can only do 16bit color.