Tried both in Munich, would take the Focals over the HD800 any day. Mostly because I’m not a fan of that much treble, but also because the HD800’s imaging seems a bit “stretched” to fit the wide soundstage, and because the dynamics on the Focals really are something!
There is always the option to wear a pair of noise cancelling headphones over some earbuds/IEMs, which can also be noise cancelling. Alternatively, passive ear protection instead of headphones over your earbuds/IEMs.
Either way, you get two layers of noise isolation.