Well a 2000 ws6 retails around 17k .. not very uncommon to find a descent deal out there. I've seen them.

20k for an 02gt is a rip, 16 is right at its retail value.