I think it's possible use only 3 controllers to solve the problem, each one with 1000 APs. For HA redundancy, we could get 3 pairs between then, where each controller would be master for a pair and slave for the other.
Or simply use two controllers with 1500 APs each and the third for HA for both.