Yes, he checked those and they were hardly worn. The manual for the book was informative about those and we did check them so as to not go through the whole process of taking the gearbox out yet again. All parts were checked, gearbox received a new gasket and it now does not miss a beat. Thanks once again.