Dave,
Sorry I never read your original post.
I've used the TE-22 and the TE-25 Hilti's and I must say as far as an EC's piece of gear goes, GET ONE!.
I've used then for straight concrete drilling up to 32mm diameter.
Plus with a Core-Bit you can drill a hole up to 100mm diameter.
You very rarely ever see an EC down here in NZ that doesn't carry one of these drills, they are a truly Industrial-rated Hammer Drill.
Just watch the Boy around the smaller sized bits, they are easy to snap!. [Linked Image]