Thank you. Size 312 it is then. Do you have a specific size or numbering for the round rubber washer you're using?