I have an old pressure washer that recently developed an oil leak. At first I thought it just needed a new crush washer on the drain bolt, but when I went to replace the washer I noticed this crack. It sure looks like a crack but everything still runs great. Can anyone confirm if this is supposed to be there?