I LOVE MINE!!! I bought it brand new 12-13 years ago for top dollar and have gotten every penny's worth of use out of it. Not sure I will ever give this machine away.
I saw a Kenmore 9500 on the Yahoo group Sewitsforsale for about $650 the other night. Not sure if it is still there, but that's a steal of a buy. Janome makes Kenmore machines, so it's basically the same thing. Because the model number is a little higher than 9000, there is probably a little upgrade to it. How much is the one going for on Craig's list? I wouldn't pay more than $1000 for it.