[Highland Park] Electrohome Record Player

Hi Everyone, when walking about the Highland Park yard sale, I came across what I believe to be an old Electrohome Saturn record player (player is shaped like a dome). So I was curious now to see if that ended up being sold or if the owner was still looking to sell it. Just a shot in the dark, thanks!