Question: Who did Ron Richardson play in a musical with a book by William Hauptman and lyrics by Roger Miller?
Sentence (from "Roger Miller Museum"): The Roger Miller Museum is a museum dedicated to the life and career of entertainer Roger Miller.
Relevant evidence: No