I was on the ferry to Pinel with the owner in June last year. He told me that in order to stay in business, he had to lift the "no smoking" policy as there were few tourists. To my knowledge, the no-smoking ban has not been reinstated.