Nice dealing Jolly Roger, 6k-10.5k thats awesome!
As for "should I" I think you already know the answer to that
If you get it, you won't regret it. I paid $22,200 and it had 14,000 miles on it and still believe I got a good deal. If you can get it for 17k or less it would be a killer deal! I really like the proton's. Good luck haggling