I was impressed by the toy-looking screwdriver he used to removed that screw — the design and placement of which looks like is meant to be turned with a coin such as an American quarter.
Turns out there's a tool for that!
https://toolguyd.com/pb-swiss-tools-coin-driver-theres-a-scr...