If its still registered, some dealers have promotions on offering minimum 2k or 3k trade-in. If Alex only does 8500km a year, she could get a brand new hatchback for 9k (12k minus 3k), that wouldnt break the bank?
That'd be good for 5 years at least, which works out to $34 a week. Probably...