If you want to find the relevent dollar signs to replace, try using Dreamweaver to search the entire site using the regular expression:
\$"\s*\.\s*num|\$\s*<\?php
That should get all of the dollar signs that need to be replaced without returning the php variables named with a dollar sign (you'd have to replace them manually since it will return extra characters) .