Not sure about the power supply, but I would encourage you to consider putting the
RF72s for sale on E-bay or something similar. When I was looking to outfit my VAX about
a year and a half ago, DSSI drives were quite expensive for their size (generally at
least
US$40 for a RF72
(I wound up using a HSD05-AA and SCSI drives built into the BA440).