It’s under 5 hours of GDP for Texas. It’s a big fine, but not a huge deal for either party.