For watercraft... there isn't a hard guide for re-jetting. The official "High Altitude" kit from seadoo was a lower pitch impeller to compensate for the lower power.
At 7000', I would think that you will need to drop the main jet by at least 2 steps. But... go out and ride first, and see how it runs. But, since we run "Regulator" carbs... they have a tendency of compensating for the lower air volume.