If you use any gasket maker, I would suggest one rated for high heat.
The Permatex ultra blue is rated to 400 so I would hope that is plenty high enough.
I guess I'll do it dry and cross my fingers. Service manual doesn't say to use anything so it makes sense. The fact that there was something on it is what got my attention.