There is also one "small" power supply for the GRC-109 presently for sale on eBay.

Price is pretty high, IMHO.

$400

Ken W7EKB