I have another STH reader with dibs on the second one, as soon as I can fix the pins and test. If they change their minds, I'll let you know.
If you have a rather rate and very expensive c401x, then have you seen my made-for-the-410x Dell c6145s for sale? Talk about a killer GPU platform - 16 CPUs, 128 DIMMs, 32 PCIe devices, 16 teraflops. The price is right and the pair of them already have four external PCIe ports for connection to that c410x - saving you the $2K it would cost to buy four external port PCIe cards. I dreamt of that configuration myself, though I never found a good source for "blank" c410x sleds. My plan was to use it for SAS cards as opposed to graphics cards, but the idea is the same.
Also, if you can live with a stripped-down, non-upgradable single-board version of the c6145 with only two heatsinks and no warranty, there is an eBay seller selling them for the very low price of $699 plus shipping.