I'd rather pitch a tent indoors to reduce the amount of air that needs to get heated, and you can use candle lanterns to heat. I'd suspect you'd lose any gain in heat as soon as you opened the door to go outside in the heated rocks scenario.
WARNING & DISCLAIMER:
SELECT AND USE OUTDOORS AND SURVIVAL EQUIPMENT, SUPPLIES AND TECHNIQUES AT YOUR OWN RISK. Information posted
on this forum is not reviewed for accuracy and may not be reliable, use at your own risk. Please
review the full WARNING & DISCLAIMER about information on this
site.