Back in my day vinyl players were called record players.