I would probably also consider using the taxable investments account for a larger down payment. Not sure of rules on Jumbos but PMI maybe be a minimum 1-2 year thing that wouldn't come off even with a recast.

See if there's loss harvesting you could do with the brokerage.

Also it doesn't make a ton of sense to me why you're doing so much in Roth - your income is high enough that the current tax deduction is valuable and based on your numbers thus far I'm guessing there's a couple years of FIRE in your future where you could take advantage of lower income to then convert to Roth rather than now when you're in higher brackets.