OK, men hvornår havde Lin-Manuel Mirandas hund tid til at spille i Lady and the Tramp?