Grease came to me through one of the production heads on Peter Pan. I'm not sure where he heard it from but he worked on sound of music too, so maybe he's jumping ship to the other production.

Rumor has it that they are actually going to do grease next year. They've already said they were planning for music man but that another show may take its place. Given the connection to the show I'd trust where I heard it, so I'm interested to see which they actually went with.