Yep, just looked it up. The whole 2005-2007 seasons and off-seasons. So it is definitely possible to "train up" a spread/air-raid college QB to run a pro-style NFL offense, assuming the base talent level is there, but with only 1 season and 2 offseasons so far, it wouldn't be shocking to see Mahomes struggle for a year or two as the starter.