I looked everywhere but didn’t notice that custom DNS checkbox on the Internet Settings page. Thank you!