Thanks for the comment. :-)
Back in the day, we asked EditHouse to take care of that part. The link still seems to work: https://edithouse.co.uk/index.php?tmpl=component&option=com_jeproduct&view=productcart&product_id=694&Itemid=127
Also check out https://www.blu-play.com/games for other Blu-Play games.