How many times can a head be machined? I know the previous owner had the head gasket replaced, and this will be my 2nd time in 8 years. I was wondering if I should expect to find a different head?