I have gone that high with my R100 GS. I had little power but it made it OK. Usually, you are only up that high for a short time, so I don't think it's worth adjusting the carbs. Fine if you want to though or if you are going to be there for a while.
Nine mile skid on a ten mile ride. Hot as a pistol but cool inside.