I think it's good practice to always consider that possibility when dealing with Bitcoin, but I think it's unlikely in this case. If you read the entire thread, you'll find at least 3 occasions in which a problem occurred, and each time it was solved once ChipMixer came online.