WHO WAS THAT MASKED MAN?: In 1988 Michael Crawford picked up a Tony for playing the masked title role in this musical