I usually tip around $10 per dive, but I've notice

I usually tip around $10 per dive, but I've noticed that most of the crew members are smokers and I am a person who detests public smokers. Most of them are unaware of the danger of smoking cigarettes and long term problems. I do not mind if they smoke somewhere in private, but if they happen to be smoking during work, I tend to reduce the tip.