Okei, mutta milloin Lin-Manuel Mirandan koiralla oli aikaa tähtiä Lady ja Trampissa?