One thing : NEVER use an impact on the nut, It will strip the anchor part. I left one machine with three instead of four anchor bolts holding because I got lazy. I noticed it didn't tighten, so I only screwed up one.
They are all hammer drills, from the little pistol grip to the SDS-Max .I have one of each class. The main difference is size, but original Hilti used their own bit attachment. For what he is doing, he needs just a mid sized one. The universal TE-17 is now a TE-25 , goes to show how old I am, but here is the model
https://www.hilti.com/medias/sys_ma...-US-Operating-Instruction-PUB-5070809-000.pdf
He doesn't need a Hilti, a Bosch, Makita or what ever will do fine, but he does need one in this size. I have a Bosch pistol grip. I went to use it for a 1/4" anchor bolt, just 1/4" hole in poor quality sidewalk concrete at our house . I was even using a new Hilti bit, they will fit in 1/2" drill chuck. It was a struggle that left me checking the fleamarcket for a used Hilti.