Well don't I feel silly. I was looking at code for so long that I thought this would be complex. I was looking at this:

PHP Code:
<?php echo zen_href_link(FILENAME_SHOPPING_CART, '', 'NONSSL'); ?>
and thinking that I needed to use that somehow to create a link. But you're right, the simple solution works.