Thanks – I stand corrected. But, nothing to report.

It is entirely likely that a number of other power supplies can be used. But, we cannot lightly recommend anything that we do not supply, as there may be changes or unknown issues  which we could not control, but would then be responsible for.

There are some aspects of the power supply's performance (for example, its turnoff time) which are not usually specified by power supply manufacturers, but are important to the operation of the unit.