So replacing the coolant and the service manual says to replace the sealing washer. Problem is, nowhere in this manual is the size of sealing/crush washer I need to use. Is it the M12 (12mm) or a different size? Anyone have any idea? 🙂 Kind of interesting something so simple is missing from the manual.