Fair. I’m allowing a little extra for the nostalgia/RAD/rarity factor. And it does look pretty dang clean.
Interestingly from the ad it says he got it from a neighbor who is original owner. So almost certainly he got it from an old dude for <$5000 and trying to make a few $ on the flip.