This route is supposed to be 8 hr 12 mins with the side trip to the
restaurant. Again, I think you'll probably do better, especially since
the speed limit along most of I35 (past Austin) to OK is 75. Says about
4 1/2 hours to the restaurant.
http://goo.gl/maps/7DpAK