In my opinion, you did the right thing, Lin. Benjamin Ficus trees are nothing but trouble. Not only do they grow fast and constantly need hard trimming, they also tend to get lanky with age and no amount of trimming seems to solve that problem. Add to this their tendency to drop their leaves IF you just look at them the wrong way (I am being a little facetious here, but not much!) and they simply don't make a good houseplant. There are other ficus trees with much better "manners" and much better aesthetics.