20k for a mazda three is stretching it a bit. The average price, minus all the HID, Nav, and other annoying options gets an S sedan mtx for 16 or less.
The S40T5 starts at 25k and fully loaded can get up to 34k. Still pretty impressive car. It should weigh under 3000lbs.