I think with the “casual” qualifier it’s accurate. I used to listen to a couple of radio stations when commuting in the 90s and 2000s - DSOTM and The Wall were staples (the former even got a full album play when they were doing a weekend top album event) but I can’t ever recall hearing anything from Animals on a mainstream station.