others are former stations along the main line of the Florida East Coast Railway. Several of these disappeared when Kennedy Space Center took over their area. Education Higher education is provided by Eastern Florida State College (EFSC) and Florida Institute of Technology. There are satellite campuses for the University of Central Florida, Barry University, Embry–Riddle Aeronautical University, Keiser University, and Webster University. Elementary and secondary education is provided by the Brevard Public Schools and private schools. In 2011, six public schools were ranked by the state in the top ten schools in the state, out of 2,800 There was one list each for primary and secondary schools. Libraries The Brevard County Library System has 17 branches. Although the Merritt Island Public Library is counted as part of the Brevard County Public Library System, it is part of a separate library district. In 2005, HB1079 was passed to codify all the special acts under which the Merritt Island Public Library District exists. Sports Minor league baseball Brevard County was the home of the Brevard County Manatees, the Class-A affiliate of the Milwaukee Brewers until 2016. In 2009, the Space Coast Surge, a member of the Florida Winter Baseball League, had the Cocoa Stadium as their home stadium. Major league baseball The Washington Nationals held their spring training at Space Coast Stadium in Viera until 2016. They play about 14 games against other professional teams locally in March as part of the "Grapefruit" League. Minor league basketball The Brevard Blue Ducks, members of the United States Basketball League (USBL), played at the Clemente Center at Florida Tech. Minor league football The Brevard Rams and Space Coast Predators were scheduled to play as members of the Florida Football Alliance in 2010. Amateur sports Aside from school-sponsored sports, there are youth leagues for basketball, football, soccer, lacrosse, gymnastics, baseball and swimming. Infrastructure Transportation While Brevard County has transportation available in the usual modes for a coastal county—highways, shipping, and airlines—it has the addition of space transportation, making it unique in the world. Public transportation is provided by Space Coast Area Transit. The county contains about 300 gasoline retail outlets. Airports Arthur Dunn Airpark Melbourne Orlando International Airport Merritt Island Airport Space Coast Regional Airport Valkaria Airport Power Florida Power & Light (FPL) maintains an oil-fired generating plant at Sharpes; it generates , supplying most of the requirements for the county. In 2008 the company