Is Hawaiian going to keep their branding, or I wonder if a new brand is in the works? The name “Alaska” has not reflected the company’s ambitions for a long time. I’d hate to see it change, though.