If you decide on it and have it serviced--yourself or a tech., and it gets to running perfectly, bet you will enjoy it. I love mine. I bought it about 9 yrs. ago, and paid $500. That sounds like a lot, but at the time, there weren't very many floating around. They come and go, like everything else. Wouldn't trade mine for anything. Mariah