Unfortunately, there didn't seem to be an open staffed ticket office to ask about our options, but luckily there was another train to Munich scheduled about the same time as ours.