They retail for around the A$1700 mark, give or take.
Around half the new price is a reasonable guide for second hand gear, but of course many factors will determine fair value....shell pack or kit and hardware, condition, how badly he needs to sell them etc etc.