Wieviel Wasser ist denn geflossen? Wenn es die 5 Liter der Waschmaschine waren und die kurzfristig aufgenommen wurden durch Schwamm und Co könntest Du Glück haben oder es gibt lediglich leichte Feuchtigkeitsflecken an der Decke, die du nach dem Abtrocknen dann aber sicherlich überstreichen kannst.
Undichte Frischwasserleitung wäre natürlich beschissen.