If I were Tim Draper, I would do something else ... I'd work with Wasabi or JoinMarket to create the biggest and longest sequence of consecutive Coin Joins to mix my 40,000 BTC with everyone else's on that day. It will be a day scheduled ahead of time so the most number of participants can join in. Hopefully get a whole bunch of whales and others and even the "traditional" mixers ... I mean, who wouldn't want their coins linked to "clean virgin whitelisted gov" coins ...
I see, 40k BTC, going to get mixed in with an additional 100k from all over the place, using several rounds of Coin Join. Going to be awesome when Chainalysis says everyone's coins are clean because they all came from the auction.