My dad went here and I’ve always heard him say it without the first r, but everyone else who I’ve ever talked to say it with the r, I personally like the first option as i think it sounds nicer so it was nice to see that pronunciation reinforced by the schools etymological origins
love the horn, so classic, its the worst most obstructive noise on campus with the exception of the bell tower, such good comedic timing, i love it, it's a classic when it goes off in class and the professor rolls eyes! lol