Well, we have, but not often and not as a wide theatrical release. Fathom Events and similar companies specializing in event releases shown a few professionally-filmed musicals in theaters over the last few years for one or two showings only most times. Billy Elliot, She Loves Me, Miss Saigon, Newsies, An American in Paris, Bandstand, The King and I and Kinky Boots come to mind. They then turn around and get shown on PBS a few months later. The recent London concert version of Les Miserables with Alfie Boe as Valjean and Michael Ball as Javert is the most recent example, as it was shown for two showings only in December. This is the first time that something like this will get a full wide theatrical release as a "normal movie" with four showings a day for a normal theatrical window. It might if they want to submit it. It was filmed with the intention of being shown in movie theaters and will be, so it could very well comply with eligibility requirements. George Hearn won an Emmy when he was in the stage taping of Sweeney Todd that aired on PBS. I don't think the Academy has a rule against filmed theatrical shows competing for Oscars because this has never happened before on this scale, so they have never needed to consider a rule for it. But also, I don't think Lin-Manuel Miranda is doing this in order to add more awards to his trophy case. I'm sure he and Disney will have a conversation about whether to submit it for awards consideration, and it will be interesting to see what they decide. But that seems to be beside the point for why he wants this to be released in this way.