Who knew college footballs come in three different sizes?