Yup, Pro-Seal 870-2 I remember from packing the stuff in boxes and sending it out. There are paste grades and liquid grades, there's also a specific cleaning wipe for wiping uncured sealant away. You need to do it before it cures, because it won't come off easily afterwards.