It's a nice stamp though, so it's worth going :) BTW, you can also get the credencial at the tourist office on the square in front of the cathedral in Oviedo. It's not the same credencial as you get in Pamplona, it's a special one for the Primitivo which looks different. You can ofcourse use both.