OK men när hade Lin-Manuel Mirandas hund tid att spela i Lady and the Tramp?