So we know there is no procedure/interval for replacing coolant. But if one actually would replace it what would be the recommendation for the coolant?...