Just posted on eBay - bidding ends Saturday March 14 at 1:45pm Pacific -
$900 (or buy it now $1200) - mag 10 higher peak. Got it like new, used infrequently 2010-11 (estimated 500 hours but could be as much as 1000 but no more)- had different machines and didn't track each use individually.
http://www.ebay.com/itm/Altitude-Generator-Higher-Peak-MAG-10-/201305911027?