I have a Craftsman LT1000 riding mower with a 17.5 HP Craftsman engine. It has started leaking oil from the engine onto the top of the pulley so I suspected the crankshaft oil seal. I pulled the engine and removed the seal and found a hole. This isn't normal, right?