I forgot to mention that the brand that he bought were the Intel PRO 100 Managment Series NIC cards.  He got it at Compgeeks.com for $8 a pop.  I've managed to do a search for Connection Teaming software and I found that they do exist...except for the fact that they're kind of expensive.  Here are some companies I was able to find...

Midcore.com with thier Midpoint software.
Vicomsoft.com with SurfDoubler.

Those are some of the software companies I've managed to find.  For those that want to learn more about Connection Teaming, here is an article from Network Computing and other news.

I think it would be better to buy the two Intel NIC cards since you can get the software free.  Unfortunately, I can't find anything on the web with that kind of a price tag on the NICs.  The lowest price I found for the NICs was $20 each.  Of course, that isn't very much compared to the software alone that you would have to purchase separately if you decided to keep your NICs and by just the software itself.