Yes, Winter Park is great too.Its a separate city in Orange and not in the Orlando school system but a bit more pricey.
fldoe.org
florida dept of education. Has a ranking and grading of school districts. Make sure you get your sons into the best high school possible. The best Orange County public h.s. honors/AP courses were 2 grade levels below what I had in a working class NJ h.s. in advanced placement courses.
Study it well.