2010 520RR high altitude jetting

[Knox Enduro]

I have a customer that is taking his 520 to Colorado to ride in a few weeks, altitude 9-12,000' I see that you guys have not had to make any changes up to 7500'
Anybody have experience with higher elevation?