Mechanics should pressure wash & detail engines before major repair, or customers should do that?