In the early 1980s, Philips produced a LaserDisc player model adapted for a computer interface, dubbed "professional". In what year were LD jukeboxes created