Ah, I see it was actually 12k - 3k = 9k for buying through Dell small business.
For reference, the enclosure is scsi (sas to be exact). It'll work with any external SAS controller. Dell's PERC5 controllers are PCIe, and should work (but may not be qualified with) any PCIe motherboard.
It...