Thats about how I BACKPACKED my buck most of a mile this year hardstalk! Antelope at 9000 does sound interesting. I had never considered hunting them up that high.