Yup.
Even though Desoto quit in ‘60, Chrysler was branding Dodges with the Desoto name in Mexico into the mid-1960s.
We had some friends who bought a new Dodge every year. This was back in the late fifties. One of the Dodge Texans had a 45 rpm record player mounted under the dash. It slid out to put a record on the turntable, then slid back in.
To prevent needle skipping for inevitable bumps in the road, the arm pressed down so hard on the needle, it smoothed the record grooves out until any given record was only playable a hand full of times.