You are correct!

But, perhaps "Groovy" would be a more 'record player' apt urban-slang term from the 60's and 70's. ;-)


>What is right name for compact 7" vinyl portable player ?

Probably just a 'Portable Turntable'. But I wouldn't know, I had them when I was a kid, but by the time I was a teen we had "boom boxes" to play cassette tapes.