Question: Which musical with lyrics by Carol Hall featured the performance of Gary Sandy?
Sentence (from "Gary Sandy"): Gary Sandy (born December 25, 1945) is an American actor who starred as program director Andy Travis in the television sitcom "WKRP in Cincinnati".
Relevant evidence: No