Hey, I'm a new member and I saw your post, that's almost 4yrs ago, did you buy it?, look at maintenance reports and see the looks of the car if still good, if it worth $5k
I got my 2009 IS250 last 2017 for $12k with 87k miles in it, I still have it until now 2021, running good, no issues, just proper maintenance.