yes thats correct. there is a special tool. forgot what it is, my neighbour has one but didnt have it at home at the time. So I drilled a hole with biggest bit i had, then used a round file to enlarge it. Took a while, and not exactly circular, but did the job and is sealed well!