Well, the time has come for me to replace my tired old vacuum pump. I've got a working spare pump in my parts car! My question is simple. Do I need to use any sort of gasket sealant when I install the new pump? I would assume so, but I know that some gaskets don't require any sealant, so I figured I would ask. Ooh, one other question. What's the torque spec for the vacuum pump mounting bolts? Thanks!