What are a pair of STAX SR40 headphones worth?

Bought them 30 years ago in original box unused for the past 25 years. Just listed on Ebay without reserve but have no idea what a good price would be or whether I should have tried to sell them in an audiophile market. Any help appreciated...