How large a hole does one drill in the case for the earphone plug? I read something about using a rubber grommet (what size?) in the hole, so would the original hole need to be larger to use the grommet? Thank you for your suggestions.