Fastest solution I can think of:
1-800-688-4116
The folks at ETC tech services should have no problem sending you the file you need, and they can probably point you to a local dealer for a new power supply. If you've never had the "ETC Tech Services experience," don't be shy--make the call; the staff is top-notch and always extremely helpful.
www.etcconnect.com