They use Chelsio NICs - I've heard them mentioned on one or other of their podcasts.