A carbureted, non supercharged engine will produce about 75% of its sea level rated power with wide open throttle at 7500 feet on a standard day (59Deg F/25 deg C at sea level), so for 7000 feet elevation, using the largest recommended engine size +25% sounds fine.
Cheers!
Jim