Intellitron DM-5300 microphone manual

I got the DM5300 mic with my new 7300 mark 2 but there is no manual. I am trying to find info about the 4 buttons at the top, I assume they might be for executing voice macros. I have searched the web for a manual with no luck.