is she looking for a wrx or an STi? you can get a WRX for around $8000+ depending on mileage etc.. but you'd be lucky to find a road worthy STi for under $16000.
Adding a price range would really help your thread.
__________________
The thing I hate about an argument is that it always interrupts a discussion. -G. K. Chesterton