Even when Paramount was still financially solvent and Garry Marshall was alive, they wouldn't spend the extra $ to clear the music rights. So slim to no chance that they will ever be officially released unmolested. A fairly good chance Paramount will be bought or merged by a different company...