Fan for DEC H7861 power supply?