FYI. I only paid $600 for my 9500. I also traded in a few of my old machines to help pay for it.
I don't usually share such exact info, but I think it will help give those searching a better idea of how inexpensive a used machine from a dealer can be. And all my questions are answered for free and I get great service.