I almost bought that exact knife back around '07 at a local gun show for about $200. Never thought of it as an investment. Then again I did not buy the HK91 with full accessory package new for $400 in ~ 1980 either :-(.
Have a couple of his other fixed blades and like them a lot.
Good luck on the sale.