What is the value of a 45 record player that goes in a car?

Just seen one on desert car kings tv show if it works $500.