Funny you should mention the tent. Neither of us got much sleep. A possible case of altitude sickness (headache, nausea) and the crowding in there made it a tight fit.
The tent is a Big Agnes Copper Spur UL3 HV. It probably would have been a little better fit had we had our heads at the narrower end instead of the wider end. That way, with our feet at the wider end, the dogs wouldn’t have crowded us so much.