Good thinking! Here's a picture of the power supply:
Additional pictures are here:
http://www.powersupplydepot.com/0-30V,-0-3A-Variable-Benchtop-Power-Supply/9616-PS/
As for markings - there aren't a lot. The main board has "SH52683R", and the controls board (where the knobs are) has "QJE7820.1010V1.1", but no names or other info that might point to the manufacturer.
Thanks for all the good suggestions!