I would drop to the 2.8 since the 2.93 is not a big jump but a big jump in price...$275 extra for .13Ghz not worth it...
also if he enrolls through dell and goes to school he can get a college discount of 7%... you can always upgrade the...
you can see if the driver is on both cards by going under the properties of the cards to see if the driver is the same then you will know if it actually installed them on both...this will be the easiest way to check...I added my second...