And he'll probably go close to that price as well. I got 16K for mine early last year (2nd owner, 120K I think, full service history, minimal mods). So 17K probably around the mark.
Theres a grey one in Hobart I see reguarly now as well. Stock and driven by oldies.
oh, and if anyone's really serious about it, I can go check it out for you (may do so any way). My parents live close by, so next time I visit I might go have a gander.
I used to own the same year, same colour, so know what I'd be looking at.