A WRX costs ~$25 000+ USED. We're talking about a 1989 Civic H/B.
That said, if he did have $25 000 to spend, he still wouldn't buy a WRX. He's one of the types that much prefers a custom car that he built himself. His last vehicle was a CRX with (iirc) a turbocharged Teg engine.
And an AWD Civic would be pretty cool, imho.
I, on the other hand, would buy the WRX.

Saw one the other day, actually. Nice vehicle... very nice vehicle.