One thought that occurs to me is that this may be a production set-up and even with a sharp bit if he is trying to bore numerous holes in a timely manner the bit will get hot. I had a similar problem with a router bit making rope molding. I went to the MSC catalog and bought a "cool gun". It uses compressed air and emits a jet of air that is about 70 degrees cooler than ambient temp. Using this directed at my router bit I reduced sharpening by a factor of 10.
Steve Jenkins, McKinney, TX. 469 742-9694
Always use the word "impossible" with extreme caution