Anyone do an analysis of the BTC held by the US that they could dump into the market and the net impact of that dump on price if done all at the same time vs piecemeal?