Hi Ken.
Yes, that link provides good general information how to add a metabox, but it’s not specific to our events plugin.
Our plugin’s “Events” custom post type is ‘tribe_events’, although technically best practices would be to get it from Tribe__Events__Main::POSTTYPE
If I’m understanding your metabox, you’d probably also want to run that shortcode through do_shortcode() if you want it to actually render the shortcode.
All those “add_meta_box” arguments you asked about is what you need to decide to call your metabox and what you want it to do for you.
If you need some coding help, you may want to ask your developer or reference our documentation and list of known customizers.