Mine was an Ebay purchase probably 15/20 years ago. New in box, if memory serves, purchased for a bit over $100 and sold it for not much more. Same box and paperwork as yours.