HILTI DISPENSER, HILTI RE 500, HILTI GUN, HDM 500