Open Season on Florida’s Seatrout?