thats not a bad price
take $5k with you when/if you go to see it (just in case)
then while your there, use the miles as the main bargaining point, and then go over it with a fine toothed comb, nitpick, and basically try and squeeze them down on the price as much as your able.
Id say if you can talk them down to $4500 you would be getting a pretty fair deal on it.
just keep in mind the 4.0 starts developing mild problems around that mileage that, if not taken care of quickly, will turn into major problems :)
(another bargaining point)