Never mind. I found the reference to altitude in the Maintenance Manual, not the Owners Manual. 4000 ft is the altitude at which the dealer "adjustment" is to be made. That will be a 2 psi differential from sea level so I'll work with that on the replacement altitude switch.