Jim,
Where are you getting a basement temp reading of 80 degrees? From the Aladdin display? In our coach, the basement temp usually reflects the ambient air temp if the Aqua Hot diesel burner is not running. For example, right now the outside temp on my indoor/outdoor thermometer hanging on the wall inside is 77 outside and 80 inside. The Aladdin display show outside as 77 and basement as 76.5 (the bay is in the shade at the moment)
I don't think the electric affects the operation of the thermostat in the basement, only the diesel burner does.
There is a thermostat under a black wooden frame sitting on the floor of the bay, in front of the gray and black tanks. That thermostat is set to 43 degrees (or so I have been told) and only comes on in cold weather (when you have the diesel burner ON) to warm the basement when the ambient temp gets to 43 or below. It is automatic. The temp it will rise to is either 43 degrees, or higher IF you have the thermostat inside set higher.
For example, before leaving for Florida, it was 32 degrees outside. I had the diesel burner on, and set at 45 degrees. Each time I checked it, the bay temp was 45 and so was the inside of the coach.
I don't know of any dial.