How much realistically would i get for an 08 Kia Rio

[4bbl]

Hi all, I am typicall one eyed ford supporter and I am blind to these types of cars in particular. A Kia Rio has ended up in my possecion and I have been left in charge of its disposal. Its an 2008 EX JB automatic with 35000km, redbook claims about $12000 and AAMI ensured it for $14000 but i see the add for a brand new one for $13000( automatic is a $2000 OPTION). The owner of the car is a work mate who has moved back to Canada he bought it new for $ 18000, it has no finance owing. He is more keen on a quick sale then recouperating his money. Basically how much can we expect to get for it, cheers Steve