I would say IS350, but it would have to be used at $35K. A new IS250 will probably cost you $35K or more after taxes (but it will be slow as shit w/ 204HP), I couldn't buy a 250.

I hope she can come up with a few more thousand, and get the IS350.