anyone have personal experience with diverticulitis?