OK, dar când a avut timp câinele lui Lin-Manuel Miranda să joace în Lady and the Tramp?