After losing the big fish, I would continue fishing there for about 10 minutes. If I took no other fish, I would move on, but plan to return some time later, maybe an hour or so. The problem with resting holes is that it is difficult or impossible given our crowded, pressured streams. This is also the reason you gain access to other fish when you fish during lower traffic times (weekdays, early, late).