I actually suggested in a thread before to use a symbol thats not part of the php language instead. Something like ∆ instead of $ and therefore it would have been really easy to find and replace. But unfortunately this quick fix was just ignored and the thread shifted to the requests section.
I thought the idea was actually a perfect solution for this issue. Now for those of us unfortunate souls, it looks like we wasted some money on it.