Trivia: How much did the first CD recorder cost?