Grinnell College school song?

Hi! I am a very excited new member of Grinnell College’s Class of 2022 and I am having difficulty finding the school song. It may sound stupid, but I would like to change my phone’s ringtone to match my school spirit. I found several songs on Grinnell’s website in archive, but they didn’t appear to be very current. Could someone please point me in the right direction? Thanks!

I don’t know if this is what you’re looking for, but I found this: https://www.grinnell.edu/about/history/songbook
I’m not totally sure if Grinnell has the kind of school song you’re looking for (they don’t have a mascot, and I would guess that they don’t have a “fight song” either)

We don’t have a fight song, but we do have some school songs.