Now that the holiday season has officially started, this means that holiday music officially gets kicked in gear. Radio stations, shopping malls, and television commercials start playing “Deck the Halls,” “Jingle Bells,” and other music of that sort. But for…