Yup, this would be a smart plan, and they might not even need to rent a car. The nicer hotels will have a shuttle, and the DART orange line which can be picked up in multiple spots in Irving goes both to DFW airport and into downtown Dallas (Victory Station.)