[pfilean]

Find some pictures that show both types. It shouldn't take much work with a razor blade to convert non vented to vented gaskets. Actual size of the cutout can't be critical. Just don't make it too big.