Disconnect the spark plug wire boot from the spark plug. Look for the four Torx screws securing the middle cover insert to the top of the OHC cover, if your Craftsman mower has a center cover. The screws are around the circular center of the cover. Remove the screws with a Torx driver and lift the center cover away from the mower.
Remove the five hex screws on the inside circumference of the OHC cover with a socket wrench, if your cover uses the center cover. If your Craftsman mower does not have a center cover, remove the six screws on the outside perimeter of the OHC cover with the socket wrench.
Lift the OHC cover straight off the mower engine.