Conversation so far:
What was In the Heights?
In the Heights is a musical with music and lyrics by Lin-Manuel Miranda and a book by Quiara Alegría Hudes.
When did In the Heights open?
After a 2005 tryout in Waterford, Connecticut and a 2007 Off-Broadway run, In the Heights opened on Broadway in March 2008.
Did In the Heights win any awards?
In the Heights was nominated for thirteen Tony Awards and won four, including the 2008 Best Musical, Best Original Score, and Best Choreography awards.

Question: Did he win any awards?
Self-contained rewrite: Did Lin-Manuel Miranda win any awards?