Looks like they're redirecting away from the 3.0 card you mentioned. In fact, I only see 3.2 cards on their site.
I think he has the USB3-PRO-4PM-E card... which is discontinued.
http://www.sonnettech.com/product/legacyproducts/allegroprousb3pcie.html