Case Study: Texas Retail Electric Provider