I will give you my opinion based on snowmobile experience.
To get the best performance you will probably need to tweak most settings on the carb if you want to get the full potential from the machine. If you are staying long term, you are living there, then I would take the time to tune things in.
The good news is you are not going to do any damage to the machines going up in elevation, only run richer and burn extra gas without any performance gain.
I have a lot of experience running Mikuni round slides anywhere from sea level to 7000 feet with temperature ranges from +50 to -50F. I'm sorry, but I don't have a thorough enough knowledge of BN and SBN carbs to suggest jetting changes.
The mantra of all hard core sledders is "test and tune, test and tune, test and tune". Remember this when it comes to getting dialed in. Read your plugs often, have a good selection of jets and a lot of patience. I can't tell you at all what, if any, changes should be made to pop off pressure.
As an example. I spent a while dialing in my 94 XP for 440ft elevation, 65F air with 35 to 55F water temps, river running where I do 90% of my riding. Every time I run out at the lake on the hottest summer days it's 80F with water temps of 70ish and my DOO shows typical signs I would see in a sled that is jetted too rich all around.
I hope someone else can give better "water DOO" info for high alltitude.
Good luck.