I had some work done on my F150 manual trans. There was a small oil leak and the tech said he replaced the rear gasket. It is still leaking and I see that he used a black RTV Permetex type gasket. Is that standard or should a real gasket been used??