[mike-the-mikado]

It's quite likely that he heard the original radio broadcasts in 1978. Entertainment choices were much more limited then and it was very popular, particularly among young people with technical interests.