waltergirlboob- was this a real musical