No, we're at 5,000 ft. We're not pap testing, but the black bull is at least double bred 6807, so he may not work up high. Many of the reds are double bred to Beckton genetics - they run up to 10,000 feet, so they at least have parentage that works up high.