Hmm... I'd have said that 10 colours is too few. Gifs can support up to 256 colours.
I'm not too fond of Flash's options for exporting Gifs. I always export at 256 colours, and import that into ImageReady which has better export options.
BTW, ImageReady is built into Photoshop. If you don't have that, I don't know of any alternatives.