All the places I've called said they would only sell them wholesale (eg 500+ units).
As long as the power/volt/wattage levels match, any standard pc power supply should work, I believe.
At least, the system board connector matches a PC power supply so in theory it should work.
The alternative is to buy a complete V5000, unfortunately.
Were you running with only a single power supply when it died?