Put more down or keep extra cash for other investments? | REI Grove