Just for information the solution I found was a #10 spanner bit found in a lot of cheap screwdriver bit sets. I filed down the tips just a little to fit and used it with a nut driver and was able to unscrew it. It still took some effort to turn it but it did come out without any damage to anything.