The three bolts to remove are Torx type and I think they are T20. My pitiful old bit set was missing or never came with the necessary T-20 bit.

Although I wouldn't recommend this, being a little lazy, I decided to use a 5/32 " hex bit which was obviously imperfect but a nonetheless tight fit without slipping and it easily removed the bolts without any stripping.