Can you set the properties of a symbol by doing this hot_btn2.backgroundColor ="#FF9900"?
or are symbols created using a static string?
It would be nice if I could the name of the symbol.
it's not efficient but you can use the filters property of you symbol to assign a color filter:
better would be to create a movieclip button and use multiple frames on its timeline to display the various colors you want and use gotoAndStop in your code to control which frame/color is displayed.