Primary mortgage @ 3.625%. Extra payments, or extra investments?