Candice R. Strawn/Lake Dias Park is a 20-acre park located in the DeLeon Springs area that includes a boat launch, RV/primitive tent camping, playground, pavilions, grills, picnic tables and restroom facilities. The park is open sunrise to sunset.