Yup, just use toothpaste to remove the rest of the AR on the outside of the crystal and the crystal will look better than when it was new.
Auto-chrono servicing is more likely to be £250-300 now
D