I would also suggest dropping that hot spot a couple degrees. I always tried to keep my upper temperature no more then 86/88 degrees. I have one that’s constantly active and one that graces me with an occasional outing. And yes three of them have no problem sleeping either with their head just out, or pretty much out in the open (they like to “relax” and “spill” out the bottom of their hides. I’d definitely double check your high end temps if he is moving around excessively. ✌️