Yup, they're staples. Make your own replacements from 16-ga. galvanized wire (hardware store item) - cut and form them to match the original staple holes, insert them through the original holes in the seal and the splash shield, and bend the ends over with needlenose pliers.