That sounds about right. Remember that most fans use self tapping screws, so the screw will want to be slightly larger than the hole in the fan. I tend to use a small a drill as possible for the pilot hole, so i'd be tempted to get a 1.5mm or even 1mm drill for that.