The car is going to pretty much live at and around sea level, so setting it up for dense air is more important than performance at high altitude.
To note, I had the 9.4 number in my head and didn't check my notes, that was my potential highest number with some pretty big work to get there. Sorry...