I have run the Procede at 5600 ft and it runs equally well to my flash tune. There are also a lot if guys up here running JB with good result. You can just taper the boost request above 5800 on the off the shelf maps and you good to go. Should see 400whp level at that Hightower with a 17-18 psi peak. You can also get away with about two degrees more timing points across the range.
We've done 400whp/500wtq at Colorado when Jake was at ar design for dyno day couple weeks back..i believe it was an XI car...baro compensations will do their job to the overall tune inside the DME whether you're running a piggyback or a flash