Yes, I agree with you that he first needs to try having a target of 7.5 and if he still has a problem then he can lower his TA.