I have a 2012 Ridgeline. I had a problem installing a Softopper. I got to the part where I was supposed to use the provided Torx wrench to remove some bolts. I think the provided wrench must have been a size too small and it stripped the hole. There still is a little traction around the edges and I am hoping that a wrench one size larger will work. I don't know what to order. Is a wrench for the below screw (see photo) called a Star wrench? Thanks!