Yes, mine is definitely a rotary hammer drill ... it is still very slow ... maybe 10-15 minutes per hole, regularly blowing out the dust. Using guide holes more than halves the time, although changing bits would be impossible on a lead.

>you need a ROTARY hammer drill. If hand drilling, well that's just hard>work. Expect to take between 15 & 30mins+ for each hole.>

Nah thats just a standard hammer dril tony, I used both types and your right...a standard hammer takes that long. When i used one, I driolled a pilot 8mm hole first, then follwed up with the proper hole, which normally saved ya 5 mins.