Texas is not running low on electricity.