Sort of a repeat of a previous forum posting about finding stuff "out there".
Was in Honolulu last week and picked up the following:
HP32SII still sealed in its box. This is the nice one with blue and orange and the parentheses. Book and cover of course sealed. The batteries were still in it so I carefully broke the seal (you can't tell) and removed the batteries after running a full systems test. COST $20USd!!!!!!!
HP 12C Platinum 25th Anniversary edition (I realize these are still in production) sealed, functioning with leather cover and shrink wrapped manual ($25USd !!!!!!!!)
Cheers, Geoff
Back to Honolulu today for more searching............