Had to change the head gasket on my 22hp craftsman rider engine model #407777. These fell out without me seeing them I'm thinking they are seals that fit on the engine end of the pushrods but would like to hear for sure before I reassemble it. Cant find any diagrams online that show them. See...