Personally speaking I think 10k won't be enough.
She may just about get 5ish for her cat but then she will still need 12ish for the F10.

Edit : sell her car privately and buy privately and she may just get t!