Nearly 6,000 gators killed in Fla.