OK, ale kiedy pies Lin-Manuela Mirandy miał czas, aby zagrać w Lady and the Tramp?