Anyone familiar with the TS900 by Kenwood

[N7OQ]

I have a friend on another forum who's Dad was a Ham but passed away. He said his dad had a Kenwood TS900 practically new in the box, with power supply and wanted to know how much to sell it for. This is a older radio and I did not see any listed on ebay so not sure what to tell him. So anyone here know how much they go for these days?
Thanks

[w7wv]

I have seen them go for $350 by themselves and around $700 for a nice one with extras.