Question: What is the middle name of the man who was head coach of the 2012 Florida Gators football team?
Sentence (from "Will Muschamp"): William Larry Muschamp (born August 3, 1971) is an American football coach and former player.
Relevant evidence: Yes