Was it a positive thing for the State of Wyoming to spend $5 million to purchase the RockWell Petroleum building?