Proteus 6 value?

I have a 10w focusable HID proteus 6 made by halcyon that was purchased from a dealer's inventory brand new, but it was stuff he had in storage for a year or two. Anyways, it's been on one dive, brand new before that. It leaked, and is being sent to Salvo to be repaired currently by the dealer. What would be the value of this light if I want to sell it?

I've got another 10w HID that's non focusable and suits my needs fine for now. I know it's an old light, I'm just curious to see what's a fair asking price for it when I get it fixed?