I have used pressure cookers. Those bags are plenty big enough.
Good to know. I really hope they catch them.