We lost power this morning, around 4:30am. It was starting to look bad outside, the storm clouds were heading towards Austin. Kim called the power company couple minutes after we lost it. It turns out that the power lines run through a rather large bush (i thought it was a tree till today) and the primary and the secondary power lines ended up making contact in the bush thus shorting out.
The fine folks at Austin Energy showed up 5:30 (in spite of the weather) and had the problem resolved by 7:45. Well done gentlemen and thank you for working through the rain.