Well, at least we know their blackstart systems work. I would have my doubts about whether the Texas grid could do a blackstart because that's stuff that's extremely rarely used but costs money--does it even exist and is it maintained if it does exist?