prodiver, I do not know what they actually use, but if no one gives you that info (what the factory used), you can use SEM seam sealer, or something like it. This stuff dries very hard but stays very slightly flexible. Its what the auto body shops use for many seam seal purposes...
SEM 29392...