Xiaomi Redmi Water Damage: When Is It Worth Fixing?