Thanks to everyone who took the time to help me out. It turns out that a 14-mm "triple square" bit is the one that fits. When I saw on Snappy and other such websites that 13 mm bits were not offered, I ordered a 14 with 1/2-inch drive from Metalnerd and had it... Login to read more.