what size hole cutter is ideal for an 80mm fan, 120mm, etc.. in inches though cuz i cant find any metric ones... 3 1/8 is what i found for a 80mm but i dunno if thatll leave room for drilling holes...( i need to know so i can go buy the hole cutters :}