Good point, the drill barely touched the casting. I took the burr off with a file. Don't think it will leak, but a dab of etc can't hurt. Now I need to pull the shaft anyway, the bushing at the bottom is shot. Anyone know the best source for that nylon bushing?