Wieviel EK in Hauskauf stecken?

Wie viel Eigenkapital würdet ihr bei den aktuellen Zinsen (~3,8%) bei einem Hauskauf mit einbringen. Beispielhaft: man zahlt für ein Haus ~450k und benötigen nochmal ca. 50k für einige Maßnahmen. Insgesamt also ca. 500k. Eigenkapital liegt bei 100k im Tagesgeld und 150k in ETFs. Wie würdet ihr das Ganze finanzieren? Hohes Eigenkapital (~200k) oder eher geringeres EK (~70-100k) und den Rest in ETFs? Danke für euren Input! Edit: mir ist bewusst, das natürlich die mögliche Tilgungshöhe, etc. die La