We are using Adobe Flash Professional CS5.5 to create Double Rainboom.  We didn’t have much trouble getting CS5 to do what we needed either, so if CS5 is cheaper, I would go with that (In CS4 and below, it’s a little harder to animate in layers and you can’t use gradients).