Bruce, I never sleep well the first night camping. I always attributed that to the conditions being less than my nice warm bed at home. So I always take something to help me sleep the first night -- two benadryl (diphenhydramine) tablets do it for me.
And I always wake up with really clear sinuses.
But you may be right about the altitude contributing to the trouble sleeping. Your recommendation sounds pretty good.