Yes, Jon M. Chu’s big screen adaptation of the Lin-Manuel Miranda musical has a post-credits scene, and it’s an utterly delightful one. Without spoiling anything (yet), it acts as a fitting exclamation mark to the film’s overarching love letter for Washington Heights, and as a nudge-nudge for audiences who just can’t get enough of the multi-hyphenated talent that is Miranda. Fans of both the In the Heights stage show and Hamilton will be particularly gratified. So if you just wanted to know whether you should stick it out for the entire end credits, well you’ve been tipped off. However, if you want to know what the post-credit scene is, then keep scrolling, dear reader. From this point on, this article contains In the Heights spoilers. Yet I imagine what hit hardcore fans the hardest is there appeared to be no reprise of “Piragua,” the bemusing melody sung by a hard-working push cart man played by Miranda in the film. Seriously, the guy who wrote the music (and honestly the film’s biggest star) gets one of his two songs cut? But wait! If you stay all the way until the end credits, “Piragua (Reprise)” gets its due. After our main hero Usnavi (played by Anthony Ramos) makes his decision to stay in Washington Heights, the soul of the neighborhood is highlighted by the fact that the guy trucking Caribbean-inspired frozen treats wins out over the bland ice cream truck moving in on his business. Finally, the Piragua Guy catches a break and ends by hiking up the prices of his fruit-flavored desserts while the Mr. Softy employee can only helplessly sit back and watch. And Hamilton fans should be especially amused since the ice cream truck guy is played by… Christopher Jackson! Yep, that means you can finally see Gen. George Washington looking up at his former secretary with envy. “It’s hotter than the islands are today, And Mr. Softy’s truck has broken down! And here come all his customers my way, I told you I run this town!” This makes the post-credits scene a mini-Hamilton reunion, especially when you realize Ramos played John Laurens and Philip Hamilton in the original Hamilton cast. Of course, Jackson’s cameo has extra meta-textual value since Jackson was also in the original Broadway cast for In the Heights. It’s where he and Miranda began their lifelong friendship, with Jackson originally playing Benny opposite Miranda’s Usnavi. It’s a cameo Jackson teased to Den of Geek last year when he said about the In the Heights movie, “I may have been on set, I may have done a little cameo, possibly.”