The Dell Perc 6i would be the native solution with full support and drivers, as the system is actually a Dell server. The problem is, I'm not sure what exactly I need - some of listings on eBay are card-only while others include the backup battery and cable, and almost all mention specific server models, which leads me to wonder if the Perc 6i is actually a series of server-specific cards rather than a single PCIe card.