Is the removal tool a Torx40? I just looked at a new set of allen wrenches and they did not include exactly a 9mm wrench. Or do I need to look at a metric set of Allen wrenches?

Also can't I just remove one bolt and rotate the caliper down instead of taking it all the way off the car?