Our right alt key is used as altgr, so we have to use that one for “third level” special characters, and the left alt for shortcuts! It’s rather annoying; I kind of miss the Mac way of doing it where both alts were for both special characters and shortcuts.

– Frost

Hmm. We don’t actually have a drill, and it looks rather expensive (by our standards) to get one.

Poop.

But there’s a makerspace somewhat nearby and I bet they have drills. Maybe they even have a screw extractor set on hand. We should pop over there.