So glad you got your docs. The Mariner Buttons are useless and I throw ours in the garbage as soon as they arrive. I don't know why HAL bothers to give them out - probably have boxes and boxes of them and want to get rid of them.
Now, never, ever, book with that agent again.
Have a wonderful cruise and enjoy yourselves. You will love the Volendam and the Captain. We were supposed to be on your cruise, but unfortunately had to cancel.