Yup, the top bolt of the starter has been slightly damaged (before I even started) and is totally overtightened, so it is impossible to get loose as you can't fit the proper socket, so now I need to make more room. I also plan to replace the torx bolts used with hex ones, so that I don't have this problem again.