If you're itching for Euro's in that price range.. maybe check out some GTIs. Also, IS300 prices have been coming down I've noticed... might be able to swing 11,000 for one.
95-99 turbo Eclipse/Talon are fun even with factory hp, under 11,000, and easy to mod... but tend to be a little (ok, maybe a lot) higher maintenance.