The Florida plaintiffs had lost their case in Federal District Court in Key West and had already filed their briefs with the federal appeals court in Atlanta when the Lawrence decision was issued in June 2003 .