@laulee It’s up to you. My personal answer would depend on the interest rates and house buying timeline and a bit on my personal tastes for level of debt I hold
Either option shows an inherent desire for good money management so you can’t really go wrong with your choice. One will end up...