Hi Jack, it appears that the surface is there but it has a messed up trimming boundary. It's probably a bug that is being triggered by the slight misalignment between the edges in this area here:





That kind of misalignment by a distance close to the fitting tolerance can make various operations more difficult.

It should probably be possible to repair the booleaned model, I'll take a look at that in a bit here.

- Michael