DNS1/DNS2.totalchoicehosting.com are just aliases of NS1/NS2.totalchoicehosting.com. You can confirm this by pinging the nameserers from your system and noting the ips. So, both set will work. Feel free to use any of the above if you have another domain on the same server. But, if your account is located on a different server, please open a trouble ticket.