Well, whatever happens will probably drive our gas prices back up.