Obviously, money is the elephant in the room. Ideally, I would try to look at a lighting upgrade-go to 100% LED and put in the proper dimmers for LEDs-my thinking is that it would be easier to spend a larger $$ amount for something that is perceived as value added versus something that most people have no clue about and would not see any change.
Careful: If budget becomes an issue, cheap LED fixtures and dimmers are purchased and the buzz problem is now replaced by an RFI problem.
Just sayin . . .