What sized drain hole in the air box (outside the filter ring). I drilled the recommended hole size in the build plans but recently I read an article someone recommending 3/8 inch. A larger hole to drain water makes sense, but would there be a negative. I have the standard air box set up. Doing my condition right now and figured I might enlarge the hole a bit.