Question: What is the lifetime professional coaching record of the Hall of Fame coach that coached Tad Boyle in 2015?
Sentence (from "Larry Brown (basketball)"): He has been a basketball coach since 1972.
Relevant evidence: No