I called Colt. They referred me to another aftermarket company. It is going to be about $200-$300 repair. I am not sure it is worth it.
If it is in good condition otherwise the $200-$300 range is worth the money. Old Colts go for quite a bit on the market.