There's a red/black IS at my local Honda dealership too, on consignment, $4999 with 150k miles.
I was looking at it last week, they didn't even bother to air up the tires (which need replaced).
http://www.turnershonda.com/new_vehicle_detail.asp?veh=128&pov=4255049If I were in the market, I'd offer $3500 for this particular one and expect they'd take ~$4000.
During that dealership visit, I met Al, who had HIS red/black IS parked out front. Unfortunately, I was on my 93 so we couldn't bond and do the secret 99 IS handshake, but we did chat for a good while.
This dealer also has a Standard Valk in "ok" shape, back in the back. It's for sale too but is not one that I'd consider paying much for. It obviously sat out in the elements, close to beach would be my guess.