Pics or it didn't happen.
I've never done it, but I've seen heads after it was done and they were messy. I'm gonna keep recommending that people use a port ring and razorblade/xacto knife. No heat, no burns, no coffee, no cans, no mess, and you get a protected pro looking hole that won get split by mics going in and out.