I think $900 might be alot for a repainted bike with a frame of undertimed year and exact model. if you only plan to sell the bike after you repaint why not simply clean and tune it and sell it like it is and maybe make a few bucks rather than risk loosing alot?
I don't know about $800 but I for a good shop that would apply correct decals, Including the correct "Repaint Columbus" decal I am sure you will be looking at spending atleast $500+ and there might be quite a wait.
__________________
“One morning you wake up, the girl is gone, the bikes are gone, all that's left behind is a pair of old tires and a tube of tubular glue, all squeezed out"
Sugar "Kane" Kowalczyk