Our family has a 1957 Grundig 8095 purchased in Germany, with original dust cover, manual (in German) and replacement stylus. It was serviced in the US recently and is in working condition. We are closing my parents home. How do we determine its value?