The dealership that Jessie works at got a MS6 in on trade. It only has like 60-70k miles on it and she can buy it for around $11k. I'm not sure if I should recommend that car to her; there is also a MZ3 hatch there she likes which is a 2010 with a lot less miles that she might be able to get a good deal on as well. Well in any case, a new(er) Mazda may be in the cards for her.
Compression test, check for VVT noise on cold start...if all is well. Buy it.