Relaunches are seldom good. If the damage from that pool launching early is minimal, which we assume it is, no relaunch is necessary.