This is something one has to experiement with. First order of business is to make sure the carburetor is in perfect working order, then evaluate the performance and tune exactly for the altitude, if it is off some?
Typically about 1 jet number for 5000'. Keep in mind many late model carburetors are lean right to start with, and may not need leaned up any further for high altitude use if they still have the factory calibrations in them?....Cliff