Thank you! I'm going to try this solution and set dhcpleasemax to 4000. I understand the default is 150
dhcpleasemax
4000
150