Vinyl records died in 1993. At least, that’s what the numbers suggest. The venerable format…