Does anyone know what size nut is on the end of the line for the EGR valve? What is the best tool to use to get it off? Thanks.