Sorry guys, the first deal sounds high to me (13k) for an '02 GT. Come to FL and buy them all day for 11k.
The '03 vert with 16,9 might be doable for $15k.
But that's my opinion. KBB is generally on the high side. I won't even tell you what Carmax offered for my '00 GT vert last year, but lets just say it's good i have restraint or I would have punched the guy out.