Of course, glad to help.
Here is my thinking...that tool looks fine, BUT, if its not officially supported by Check Point, then I would 100% stick with smart move, which is an official CP conversion tool. Now, the only catch is that if you do have any issues, TAC might not be able to fully assist, as I suppose that sort of problem may more fall under Professional services realm, if you will. Honestly, Im always more than happy to test it in my lab, as long as you are willing/allowed to send the config.
Hope that helps.
Best,
Andy