Eating lunch on Ocracoke Island