Prices are fair but not super spectacular. A new ATAS-120A goes for about $325 or so. The FT-857 is new about $850. I think he's actually quite high on the power supply. A brand new Astron SS-25 goes for $100.
Yaesu FT-857D & ATAS-120A - $950 (Trinidad/Denver)
I have a used Yaesu FT-857D with ATAS-120A antenna, and Radio Shack 25amp switching power supply. I have homemade separation cables but no bracket, no long power cable, no owners manual. All three are used and have cosmetic scratches etc. but otherwise work 100%. The 857D does have a short power cable with Anderson Powerpoles so you can power it anyway you like. $950 shipped for all 3, or separately $650 shipped for the radio, $250 shipped for the antenna, $100 shipped for the power supply. I can also meet you most anywhere along the I-25 corridor from Longmont to New Mexico. If you would like to meet the price would be $900 for all 3 items.