I'm curious, what did they do, sell their 1.28 BTC, or is that the total lost on a short term trade?