I want to drill for an extractor in the bathroom. The hard plastic tube that goes thru the wall is 107mm in diameter (although the installation leaflet says to drill a 100mm hole!). Is it wise to get a 127mm core bit or will the 107mm size be OK (ie do you actually get a slightly bigger hole than the core bit?)