Thankfully, the possible case in Miami was negative.
Yep, and thanks for the crosscheck, guys.
Better to find out now...