i was in a similar situation last year....new monitor time and 1k budget.
ended up getting adam p11a's (ok, those are 1300 but you get what you pay for), but it was a close call between those and the genelec 8040 (even more expensive, but GREAT imaging!!). seriously, imho those two monitors are the best thing you can get in the medium price range. i used to mix on the hs80m and they don't even come close to the adams. once again, you get what you pay for. for the money, the hs80m are outstanding though.
adam a7 + sub is also an alternative which enables you to split the purchases....i wouldn't want to mix on a pair of a7 without a sub though. just too little information below 90hz for my taste. the p11a on the other hand accurately play back up to like 50hz. there are times where i'd still like to have a tad more sublow information (especially when listening to "arena rock" a la nickelback or alice in chains) but it's definitely fine the way it is.
the thing is, i didn't want to spend more than 1k either, but at the end i didn't feel like the cheaper ones (dynaudio bx5a, focal cms50, genelec 8030, krk vxt8) were enough of an upgrade to the hs80m...especially the dyns were surprisingly similar to the yammies. i felt that with a monitor upgrade i might as well get something that'll last me a long time, and the adams along with the 8040 gens were the only logical choices.
so, bottom line is, it depends on what you're looking for.
if you're just looking for a reasonable priced upgrade to your alesis monitors, i'd assume hs80m, adam a7, or maybe even the 8030 genelecs (they might work for you, i felt the mids were awkward) will do the job.
if you're looking for something that'll keep you satisfied a looong time, check out some of the stuff up to 1,5k, particulary adam p11a and genelec 8040.