Lost: a snorkel mask with a mended strap, somewhere near the muelle pier

Did anyone find a snorkel mask with a yellow strap, mended with black thread along an edge? I think I left it on the sand near the muelle pier on a Thursday morning, about a ten minute walk from the plaza. The mask is old and not worth much to anyone else, but it is the mask that has ever sealed properly for me, and the reef is right there. I will check this board again on Sunday.