That's my general take as well, but thought I'd float the question. There's also the consideration of $250k FDIC limits, though for the next 2-3 years that's as simple as maintaining a couple of different accounts.