a friend of mine just had a mini me swap done to his 00 civic dx with a y8 head. it was for like two days but the oil started leaking between the head and the block, he used an ex gasket, was that the one he was supposed to use?