No one really knows. But yes, the coins are gone. That seems very likely.