A popular method seems to be to use a tungsten carbide drill into the remaining head of the grub screw, then gently hammer in a torx screwdriver bit, apply heat to the bit using a soldering iron, then attach the screwdriver body and it should remove easily.