That is just crazy! He's played a full 5 years plus a 4 game redshirt year. Plus it helps to have played for 2 teams that punt a lot...Derek Adams has the most punts and most yards in NCAA history. He broke both of the records last week.
Looks like the record might stand a while. Rutgers guy could conceivably come back for a COVID year and catch him in yards but would be hard to catch him in punts unless Rutgers returns to terrible and has to punt a lot.