Marine Tex (or PC-11) will be fine. Although not "needed", a better solution would be to do a quick coat or two of epoxy resin and then thicken the epoxy to finish it off. Grind it out a little bigger, first. Polyester resin would be fine, too - it's less expensive than epoxy, but epoxy is...