In the late 1980s, the concept of on-demand music was being pioneered by mixtape kiosks similar to Redbox. So why has no one heard of this?