S2K or G35, I personally wouldn't even consider the other two
you narrowed down to. S2Ks are easy to find under $20k, so
go with one of those. Really fun to drive too and worth the
money.