I used the newer factory gasket for my 727 and it works