"Ocracoke is a year-round community of nearly 800 citizens...citizens, to be sure, who are accustomed to welcoming visitors, especially in the summer season." . . . .