Seems like an easy decision if you're not a collector, but an "enjoyer". If you don't listen to it (much), then you can always get another version for a lot less and casual listening. The going rate could buy a lot of software you'll enjoy.
Don't know what country you're in, but a quick check on Discogs shows 4 for sale, the only US seller wants $750 (NM). You could always offer it there for top dollar, and if somebody bites congratulations!