Printing a menu in a theme

Fellow in IRC asking for ways to print out a third menu, not primary or secondary links but a completely different one, without creating another region, putting just one menu block in it.

I recalled Agaric had done that...

Resolution

This is the way we did it in InternetBarContest. I think there are acouple menu theming functions, not sure how different ones would work with this. In page.tpl.php:

<?php print theme('menu_links', menu_primary_links(0,2)); ?>

The two is replaced by the menu id of the menu you want to print.