Apparently there is @luckow
With https://wpghostimport.com/ converting the JSON export
Another path may be to use RSS to read all the posts into WP.
Nothing to lose right so I gave it a go. Worked incredibly well. Not perfect but it means I have a lot less to do.