I replaced the drain hose. The part I got from AppliancePartsPros worked.
The only minor issue is that the replacement hose was a bit shorter than the OEM drain hose so it took some extra effort to get it connected to the actual drain, which was fairly high up on the wall at an obtuse angle.