I'd stay away from the Aveo. I had one for a year and... eh its just... I honestly think the Metro is a better vehicle.
I'd add Cobalt XFE to the list. Almost nabbed me one of those a few weeks ago for well under $5k. I even found one in your CL and in your price range.
2009 Chevy Cobalt LT XFE
You can probably add Toyota cars to the list, echo, corolla, matrix. Not sure you'll find a Yaris for under $5k.
This looks like a pretty good deal, quite low miles and very reasonable price.
2002 Toyota Echo for Sale