There's a creampuff of a G1 Insight in your area with 63K miles you could get for around 6 grand. You'd get double digit better mileage than any of the options you listed, for a lot cheaper.
2000 Honda Insight Base w/AC
Yeah, I'm a first generation Insight enthusiast!