My question is, and remains, now that those coins are lost, can any of them every be recovered. If so, will that be downward pressure on the price when they eventually are recovered? Is there anyway this is already priced in and the coins being recovered would be a net negative? Anyways, just some thoughts.