I just tried out the Airpod Pro's at home and, while they successfully cut out the stupidly loud baby milk machine noise and me tapping on my desk, sadly I don't think they would do any more than cut the noise level on the noise you are dealing with.

I also tried my Roxanne's with the medium Comply tips (bear in mind, the large tips work more effectively in reducing ambient noise, but become uncomfortable more quickly), which actually let in more noise with the AirPods! I hate to say this, but you may find (as I did) that in such an environment, noise reduction may not work.

It might be worth trying the AirPods on the basis you can return them, or the earplugs I mentioned (they are pretty awesome at cutting noise!).

Prolific music listener / Hi-Fi addict!