@macropod
In Word 2007 at least, ^13 does not result in the insertion of a pilcrow sign (HTML decimal entity 182). ^13 in the Replace With box actually inserts a non-printing formatting paragraph end mark that can later be found by placing ^13 in the Find What box. The Paragraph Marks inserted through ^13 in the Replace With box do not print. They are genuine non-printing formatting paragraph end marks.

If you know of cases when this is untrue, please give detailed examples.