I bought in for the lower hole of the threaded anchor.
Hammer drill has been using genuine in that BOSCH, but happy price, the quality of both.
9.0mm and 9.5mm is helpful because there is in the neighborhood of the home center.

Since it is for the concrete to the stone was not facing
Was a hole in the hole diameter 4.8㎜ depth 30 mm in granite, not free only about 20 to fix sharpener. Or cracked head crushed
When do while cooling with water will be like hitting for one bit side Carbide part is thin a bit, in the case, to leave small will help crack the stone.
Drilling speed is good
The amount of holes is, if a small amount COSPA I think very good.