WOW, that is great news! He could be even better, then!
I'm not sure if it is a good thing or a bad thing. I know that in the big leagues, a .300 BABIP is considered average, but it's possible that the average in college is .350 or .400 or even more with worse defenses, harder hit balls, and worse pitching.