_verified_: Thaw Frozen Drain Pipes