BTW, I realise this may well be a question for the creator of the custom post type plugin, feel free to send me that way if you think this is not in your remit.
I’m asking it here because I wonder if there’s something I can do with the custom field to get the category ID out.
