Oviedo is south of Lake Jessup, in Seminole County.