What coolant does everybody use and where do you get it? I saw in the booklet it need some HOAT kind or something like that?