Great, Dave,
in Export DEM choose 1st option (Export TIF/BIL/XYZ...), define the output resolution (XY pixe size), coordinate system and any other options you need in Export DEM dialog and then use Export... button to define your export file name and type. In drop down type menu you can choose XYZ for grid formats....see following....