Has anyone done eye surgery to remove a pinguecula?

Yes. Surgical removal of a pinguecula is possible, but not always necessary. It may be treated with drops as well. Sometimes, no treatment is necessary.