Did you get it rectified through the dealer? They will most likely cover any water mark/damage to your ceiling liner. Just be conscious to have those drain tubes once they have it replaced checked every oil change to make sure they’re clear and you shouldn’t have an issue again.