Did any official communication go out to the pilot group that Wash DC bases are closing both bases? I guess IAD will only have CommutAir/Mesa/Air Wisconsin left. Makes sense going to another ERJ operator..