[caseysoftware]

From the link:

Me: ``Oh, well, see, this isn't really the devil, it's just, well, it's sort of a mascot.''

Native: ``And what kind of football team has the devil as a mascot?''

I call BS.

College mascots that are devils, off the top of my head: - Duke Blue Devils - Arizona Sun Devils - Dusty, from a branch of Texas A&M

All of which have been there for decades.. and since Duke and Arizona are regular NCAA champion contenders, it wouldn't be a surprise.