I'm considering adding a 12VAC element to my mash tun and am wondering if anyone in our group has done this and/or has the tools, especially a Green Lee Radio Punch, to put a hole in the side of the pot? Thanks.