Those are the ones, do we know the specific sizes of them by chance? Thank you, Neil
PS. I saw that you can order them from the standard sites, but they do not post the size and they also want 2.50 for each or so. We can find these at local hardware stores in packages of 50 or more for under 10 dollars.