$4.2 Million for Lee County Infrastructure Project