The problem with most tuned PCM's is their claim to fame is high timing with a small pulley... what they don't tell you is that WOT fueling is terrible. I've had ZZP, DHP, and Intense PCM's come on the dyno and AFRs were in the high 9's and low 10's.
Your biggest benefit will be a custom tune. Find someone in the CO area with some experience, or buy a DHP Powertuner and learn it yourself.
Also being so high up, as someone else mentioned, you could most likely get away with a smaller pulley. I'd throw a 3.5 or 3.6 on it and then tune.