I actually caught my own arrow crabs here in Pensacola, Florida. I got 2 of them and added to my tank a long time ago, and they never really messed with anything. Now, mine were only 5-6 in. each, but they never showed even the slightest agression, and were all my friends' favorite thing in the tank because of the way they would wave their claws in the current to snatch mysis out of the water at feeding time.
I say, if you havent had any problems so far, I'de leave it. thats about as big as they get (supposedly) so its not like hes gonna get much worse. If you like him the way he is and havnt lost any fish yet, I wouldnt worry about it. Most fish stores probably wouldnt want to take it anyway, cause they wouldnt be able to re-sell one that big i think.