(And the instructions for my front-loading washer does say to check the rubber gasket for those missing items. )
this is a standard procedure in my house when doing laundry, you take the clothes out and check the gasket. You just never know plus little bits of things that are in kids/mens pockets get stuck in there.