https://things.recmg.com/tech/blogs/how-to-change-dhcp-lease-time-on-windows-10/