My wife uses that recipe to make pretzels all the time. Just finished the last batch yesterday though, so no pictures to share.
She still uses baking soda for the boil, but she tweaked the recipe a bit. They turn out a bit soft/light, but if you throw them in the oven for a while to reheat the final result is about right.