5,000 BTC Missing, and Other Details of the Winklevii vs. Shrem Case