I think you're right, Tom. When it's deep enough it's better filling it than polishing it. There is some sort of coating on the lenses anyway, and I don't want to damage that.

I'll try filling and post the results here.