All tagged San Diego alligator lizard