I'm usually backpacking in the springtime, but I'm taking my brother next weekend and we'll be heading over the top of Clouds Rest and then to Half Dome. Is there any water sources this time of year between the two? Don't want to lug a bunch of water over Clouds Rest if it isn't needed. Thanks in advance...