Yep, that describes it, blue too, and with a jack on the side that doubled as a guitar amp for my cheapo guitar. Got screamed at every time I plugged in so I usually practiced unplugged. Folded up just like a suitcase and not much bigger. I think I still have one of the plastic inserts to play a 45 on the small spindle without having to swap to the big one.
You know, those stereos really kicked it, especially for being portable! And those inserts: I got a record or two broken trying to get a metal one out! Plastic was a good idea there... Funny all the yelling “lower that damn thing!” The universal call of the POT: Parents of Teens! Eventually, as I got older, my parents and I began to like each other’s music!