jacksmannequin- was this a real musical