Mike Gundy is a proven P5 coach. One of the better ones out there. I love the potential of Frost but it's a different animal having to play Ohio State, Michigan, PSU, Wisconsin etc. Having to compete with Urban Meyer is a tall task.
Plenty of "hot" G5 coaches flame out when they get to the big time.
Gundy wouldn't leave either, I agree there.
As I posted in the data in another thread, most big time programs end up hiring a P5 coach from a lower level P5 program or from the NFL. In almost all cases the G5 hires at elite P5 programs are chose to candidates.
Hiring a G5 coach is always a risk and reward hire. Florida hired a G5 coach that won them titles and that guy won titles at another school to. His name is Urban Meyer. Utah was a G5 level school when he coached there.
Would it be nice to have Coach Frost coach for a few more years so we can really get a test of his coaching ability? Sure, but the timing isn't going to allow for that. THis is the year to pull the trigger and let him do his thing.