When it comes to mastering music for vinyl records, one encounters different schools of thought. Part of the reason for this is that vinyl records predated the formats of CD and mp3, then fell out of popularity, and now they’re back in a big way. Consequently, many artists will record an album and mix it …