The transformer and power supply arrived today.
I am testing the power supply now and am very impressed with it. Several dc volt meters show that it is producing roughly 35.5 volts dc, but the voltage does not change when a load is applied to it. So far I have seen 35.7 volts at 3.4 amps. This was a peak reading that lasted about a second. Voltage and amps readings like this is what I expected from a stock ASC1.

The size of this power supply is very similar to a pack of cigarettes. It should not be any problem installing this supply inside the ASC1. Will continue to test it, but I see no reason right now not to use it. The dish moves at a very nice speed when this power supply is used to move it. The motor speed slows down a good bit when 24-30 volts is used to drive it.