Hugh wrote:

but I believe there is an requirement and probably a specification. The
logic being, of course, that if there is a leak however tiny, it can't build
up into anything serious with continual ventilation.

AIUI that rule applies for sealed, ie boxed-in spaces, not one with a
door on the front.

David