If anyone is interested, my plugin actually has this feature built in and there are functions that allow you to get the “post_id” value for any options page based on the options page “slug” value. But I’m going to be honest, I don’t actually use my own plugin on production sites because it means additional database calls to register options pages. Some day I should build an “export to php” tool.