Porton de San Sebastian: visit notes · Mike Lee