You can use the following command to get the Dell service tag:
# dmidecode -s system-serial-number
If they say that's not the actual tag, you can just do:
This will give you a list of a bunch of specs that are built into the
server that they can parse for the correct number.