Just thought I'd point out an eBay store that has some unboxed Prontos for sale. I have no connection with them, but have used them and thought others might like to know they are available:[Link: ebay.co.uk]
(I know RC doesn't always allow links, so search eBay for Philips Pronto etc and you'll find them).
I'd been a little wary of buying one that must be a good few years old, mostly because I suspected the battery might not be in top condition, but it's absolutely fine - brighter screen than my 2nd hand ones and the link to an extender I have in the garage for garden/Christmas lights is definitely stronger. Basically, I was happy enough that I ordered a 2nd 9800 - including import duties to the UK they came in at around £400 a piece.
Apologies if this is in the wrong place or is inappropriate, but I thought I'd share as the chance to buy one of these wonderful things 'new' is something I didn't expect and which might never happen again.