Big Coppitt Key [= El Chico] is east of Key West on US 1, in Monroe County.