Question: What is the lifetime professional coaching record of the Hall of Fame coach that coached Tad Boyle in 2015?
Sentence (from "Tad Boyle"): Thomas Martin "Tad" Boyle (born January 6, 1963) is an American college basketball coach and the current head men's basketball coach at the University of Colorado.
Relevant evidence: No