Torx are everywhere these days. They give you the torx bits in the box when you buy a box of torx screws at the hardware store.
I guess that I should have added that the top (I guess) just unclips to remove it - but he added bolts to it.
A few years ago I bought some special bolts with a unique head on it that required a special driver for it. The machine shop had maybe 20(?) unique sets so I figured that would slow somebody down. I forget exactly now what it looked like. I’m thinking it had a curved shape to it so one could only tighten it and not loosen it??