Paul is looking to spend about $25,000 for a reasonably fun, AWD commuter car. What car should he buy?