what county is port st lucie fl in
Port St. Lucie is served by St. Lucie County Public Schools, which is a school district which serves the rest of St. Lucie County, FL.