I noticed this too! I wondered if it was a different part of Washington Heights than where I have spent time (I spent a summer working there, right by the Armory), but it definitely jumped out at me.
I saw In the Heights a second time in the theater, this time with my 80+ year old grandmother in our very rural, very Midwest, hometown that somehow still has an operational movie theater. I was worried it might be hard for her to follow - and it was - but she still enjoyed it anyways and said she'd like to see it again. It brought me a lot of joy to see In the Heights shown there, and to se