Hello allI am in the process of changing all the hoses and flushing my coolant on my Yanmar 3HM35F. Currently, it has the green coolant in it. What type (make) and where do I get the orange stuff? Also, prior to the new coolant, should the system be flushed with a radiator flush that I use to use on my car and got from an auto supply place? Thanks allGreg1986 3HM35F