I've been helping my 70 year old Father (electrical engineer) clean up his house. He has a working TRS-80, with all sorts of documentation. Is there any market for this antique?

I see some going on ebay, but i was wondering if there was a better forum for selling this stuff...