Yup: They found old Portuguese and Spanish coins, likely from the 1700s. Visits to numerous antique stores in the area revealed that these coins are the real deal.