We had gone fishing earlier at Bear Lake (elevation is 10,480 feet) and caught lots and lots of trout. It's lucky that we fished BEFORE making the repairs because I'm not sure we would have worked up the willpower to get off of the comfy couches to go afterwards.