I was wondering if this hole is normal for this craftsman mower. i never saw vent holes like this. model 247.377300