Campfires at Henderson Lake

From the map it looks like Henderson Lake is outside of the Eastern High Peaks management zone. Can anyone confirm if campfires are allowed at the lean-to and other designated campsites around the lake?

Thanks!