Any idea what replacing the lenses would have cost?