Any new info on San Pedro? Going diving there in a couple of weeks.