A sad time for San Pedro.