Hi Richard,
You can add the product search form directly from the module manager, I have tweaked the article you have mentioned a bit to make it easier to follow, please have another look and let me know if you need additional information.
Thanks,
Mihai