Ocracoke Express to extend service through September

The service, previously slated to end for the season on Labor Day, will now run through September 28.