Flash game engine

I've been looking into game engines for flash trying to find one that will work for my game.  Push Button Engine looks like it  might be the one I'm going with, but I'm still looking around. Flixel might be another that I look into.