Yes, of course! Although I always thought it was de-Semitized to possibly more appeal to the goyim, but we’d have to ask Dean.
Trivia note about “Ariel.” It never charted higher than 26 on the Billboard Hot 100, but it still ended up making it to the top 100 songs of 1977. Very few songs that fell short of the top 20 could do that back in the day, let alone ending the year as high as #69. The Billboard charts are behind a pay wall, but I know it appeared on AT40 for a few weeks, dropped off, then redebuted, so a modest chart hit that stuck around for a *while. But since I can’t access the charts, I can’t determine whether the peak position was on it’s first AT40 run or the second.
*22 weeks total on the Hot 100, which was extremely unusual for a song not breaking the top 10.