I have an old Hitex AX51 emulator, about 10 years old, single owner. It was brought out of 6 years of storage last year and dusted off for a quick and final project using an old Philips semi-custom 8051 chip. So I can say with reasonably certainty that it is working fine. With that project behind me, I hate to throw it away.
Is there any suitable forum for used embedded development equipment where I can post this, besides some place as general-purpose as ebay? I have already checked with the special division of Philips/NXP/Trident... group, and with Hitex, and no leads. Hitex suggested that a new customer could purchase support for a used emulator, although they've never once had such a request in 10+ years!