Is this the cards you used?

http://www.xpcgear.com/3870x2hti1gb.html


Wasn't sure if they were even available yet.