A quick example for this: we have many feature and two of them are policy count and premium_total (for all policies). We are predicting the expected claim amount with GBM or RF. Both policy_count and premium_total are important features by the model and they are highly correlated (0,8+).
My guess would be not to remove any feature, since both have different meaning/information, on the other hand as the policy count increases, the total premium will increase too. Removing the "less" important feature will not improve the model, nor make it worse.
What are your suggestions?