OK, men når hadde Lin-Manuel Mirandas hund tid til å spille i Lady and the Tramp?