This is my only Jantzen short which I received late last year. It hasn't come into rotation very often and maybe I've laundered it 4-5 times. Always in cold water, mild detergen, hang dry, warm iron. About 4 of the buttons have developed this horrible discoloration, and I'm wondering if anyone else has seen this before. I can't seem to wash it off, whatever it is.