Is the H720 the correct power supply for the TC11/TU56 combo, as is indicated in some document I've looked at? I'm at work and don't have my notes. Are there other compatible DEC power supplies that will work with the TC11/TU56? Thanks, Ashley