Trolls aren't exactly known for their intelligence.
There once was a troll in my game speaking with an obviously fake Indian accent. He was picking the wrong classes and jumping around the lobby.
He ended up on my ship, much to my dismay.
Unable to kick him, I decided to deal with him.
I played along with his stupid joke ("So, what part of India are you from?"), and actually ended up having a good laugh or two.
He realized that he was also having a bit of fun, and returned the favor by being a good crewman.
We even ended up playing a few more games together.
TL;DR, kicking is the easy way out. Find a way to deal with trolls socially. That's what this game's all about.
That isn't proper trolling what he was doing. Kicking is an easy way out, certainly. But it's still civil. If you don't implement kicking, you WILL eventually end up with a community like DotA2s where flaming and verbal abuse is common. Simply because players will lack the means to rid themselves of unbeneficial teammates; and like I said, fighting the verbal abuse itself will only raise the frustration of the players.
What you had was just a minor incident. I've had tons of people on whom I've exhausted all my abilities to manipulate on without success. This includes, but is not limited to, blackmail, request to uninstall the game, verbal violence, begging, rationalizing, threatening etc. And if the player just doesn't give two fucks, it just won't work. I'm talking worst of the worst here, there aren't a lot of those in this community right now. But that will change eventually; and if players cannot be arsed to respect their captain, that captain is going to take a lot of heat because he cannot control his crew.
And yes, I think positive measures should be available for the willing. I'm not a dick that just kicks people because they perform badly. I'm usually one of the guys that can make bad players perform well if they are prepared to listen. It's the players that refuse to listen or explicitly refuse to take orders from the captain that will do nothing but cause frustration and severely hurt the captain's patience. Again, those players aren't the problem now, but they will be in the future.