Please note that you should not worry about his velocity as much as you should location. There are plenty of guys that throw 90 that never pitch in college because they can't throw strikes.
Velocity helps, but is one of most overrated parts of pitching. Most D1 hitters can turn around a fastball and send it the other direction alot quicker than he who threw it.