Little Tesuque / Juan / Saddleback loop