With TCP_REPAIR, presumably they could...but both ends need to implement the REPAIR option I think, so maybe not in practice yet.
Or if the SDN of your cloud is good enough, even TCP_REPAIR might not be needed!
Or if the SDN of your cloud is good enough, even TCP_REPAIR might not be needed!