Let me guess, Judge Amy Vermin Jackson?
Isn't she in the DC Circuit? This case is being heard in a Federal Court/District in FL.