Dave L

Once you get a few meters below ground in rock isn't 51 degrees F (11 degrees C) pretty consistant? True the workers would heat up the air through effort, but the bedrock itself is a pretty consistant heat sink.

I wouldn't think the bedrock temperature would change by seasons.

Jammer