Thanks for looking. I found what I think is the same unit on eBay, and the listing says 110/220V:
http://www.ebay.com/itm/DC-Power-Supply-0-30V-5A-Adjustable-Variable-digital-display-Switching-110V-220V-/251956886769?pt=LH_DefaultDomain_0&hash=item3aa9ccfcf1
That looks like it would be a good bench supply, but I wouldn't buy it just to power the GPSDO. It's much too good for that. Also, you don't want to use a variable supply for a device that's going to be continuously powered. You just want a generic 24V power supply. Something like one of these:
http://www.ebay.com/sch/i.html?_nkw=24v+3a+%22power+supply%22+universal+-led&LH_PrefLoc=2I haven't purchased any of them, this is just to give you an example.
Some top-level brand names you can look for are Lambda, Power One, Delta, LH Research, Acopian, Mean Well, ACDC, Sola, etc. Another source is power bricks for printers, scanners, etc. 24 volts is too high for most laptop bricks, although I've seen more than a few at 19 volts. Maybe your local used computer store has something interesting. As has been mentioned, Digikey, Mouser, Newark, and Allied are other sources.
By the way, I just hooked up both units. At 24V, slightly over 2 amps at turn-on and slightly over 1 amp after warm-up.
The 10 MHz test point is 10.000 000 00 MHz as measured on my Rb-referenced counter. I've never tried this before, but if I use my counter's math function to get better resolution, the frequency seems to be high by maybe .001 or .002 Hz, but that might change after it settles down more. I think I'll let it run overnight.
Ed