If his static compression is 9.0 to 1 the 256XE will have a dynamic compression of about 6.68 to 1 at his altitude. The 250XE would be at 6.8 to 1. The altitude kills the compression and power output. I would recommend getting the heads milled some to increase the static compression for use with either cam he chose.