does your brother prefer an automatic over a manual transmission? I would stay away from the 540 automatics since I've heard there are problems with them. And this one didn't mention if the suspension has been done, you can add about $1000 in parts to that.
There's a member on here selling the same color car for $10500 and it's the sport version with 6sp manual. And it's supposed to be sorted out already.