(A 'show dhcp server' does show this information as received.) I don't think the right answer is to manually add these items in the ip dhcp pool LOCAL section, since if they change (as they can), I ...