I installed new O Rings for sure, would not do the job without that addition. Way to much work to come back for a future leak.
Grinding down the Torx bit early would have saved me an hour or more. I fought it first before grinding down my tool, the tool is less than $10 to replace with one not ground down.