What size copper washers?