It's a community effort so depends upon backing by community members. If we get more members in that group, then could probably be done. For anyone interested, there's a signup link on the CIS Benchmarks FAQ page.
This is also a route to download the current Check Point Benchmark. Notice the link isn't currently working......
"In order to download a CIS Benchmark from Workbench, you will need to join the CIS WorkBench community for that particular benchmark. To join a community, simply login to CIS WorkBench (registration is free), select the "Communities" tab on the top menu bar and select your community of interest. Upon navigating to the community dashboard, select "Join"."