Yep, that sounds right. I used them for half of our tickets last October. You will need to take that voucher to the ticket booth and they will then give you the regular DL paper tickets. Once I got up to the ticket window, it took about 10 minutes for them to do the exchange. They had to get a supervisor and it was a little involved.
Just something to keep in mind, though, is that if your travel dates change more than 10-14 days within your original travel dates, then you will have to exchange the tickets with aRes for new ones. This will involve them giving you a refund on your original tickets and then they will charge you for the new tickets. However, if the price of tickets has changed since you first bought them, then you will have to pay the higher price. It's a huge pain in the neck.