Eden Owners Association, Inc. sued General Security Indemnity Company of Arizona, HDI Global Specialty SE, StarStone Specialty Insurance Company, and QBE Specialty Insurance Company in the Northern District of Florida, invoking diversity jurisdiction and venue based on insured property in Pensacola and events in the district. Eden alleges its condominium property at 16281 Perdido Key Drive