While Happy Days originally used “Rock Around the ... despite TV Guide naming it the best TV theme song of all time.