don't know how high a pressure they used, but keep in mind the tank is not pressurized in use .... I'd just put a dab of any good RTV or gasket maker on the holes before installing the screws, or at most wipe a light layer of sealer on the underside of the rubber seal
Bill
