If an engine shuts down due to high jacket...