Yoshi at Bitmain is recommending Either Dell 750W Server PSU or the HP 1200W Server PSU, for the most economic solution. Your thoughts?