The description made a point of that M15 sold in late 2010 for over $1600... but that one was New In Box IIRC, and that was a price peak we haven't seen since, at least not that I've noticed. Used one two weeks earlier only topped $800.
I'd say $995 is a decent price for a complete-with-box original-owner M15 plus an inherited 10-key, but not a great price, unless you really covet the 10-key.
As a starting bid, meh.
I think I paid $655 last year for my M15 with the original box (internal cardboard is fine, external glossy box is a little ratty).