I sprung a coolant hose leak a week ago, and while trying to diagnose it, lost a fair amount of coolant. It went from having some in the resovoir to very little to none, so probably about 3- 5 liters I’d assume. Someone told me I need to flush the entire system for this. Is this true?