This guy on ebay is selling Gateway PVR cards. Claims they're PVR-250s. Anyone got any confirmation that these are in fact PVR-250s and that they work? http://cgi.ebay.com/ws/eBayISAPI.dll?ViewItem&item=2757904707&category=3761