Does anyone know the internal diameter size of the washer required? Have also been advised there are Dowty Washers / Nylon washers that are OEM spec for this purpose, also aware people use copper crush washers, but there is a risk of overtightening and destroying the thread in the sump pan.