My father's old record player was a lot like this. I was wrong, it didn't have a pop up spindle. But you could stack 45s and it would play them one after another. And that whole spindle thing could be removed to put a 33 on there.
And on my record players, they all had something like this.
Maybe I'm not old.