I've just seen the eBay link from Peter and the power connectors on the HP power supplies look very similar. I'll borrow a meter tonight and try and determine what power is on each pin. At $7 they could be the answer, even if you have to cut and splice the lead to get correct polarities. (Quite likely they will be the same).