ठीक है, लेकिन लिन-मैनुअल मिरांडा के कुत्ते के पास लेडी एंड द ट्रैम्प में अभिनय करने का समय कब था?