https://pinside.com/pinball/archive/space-odyssey
4,300 produced.
Average pinside $500
Boston Pin seems about same over past 5 years, so $800 seems high unless it's mint.
Outstanding shape? Maybe worth it to a collector?
Not exactly rare, but if you like it, who cares?
Good luck.