Ah, support for exporting vertex color was not yet available in the exporter.
I've added import/export for colors in the beta version:
https://s3.eu-central-1.amazonaws.com/nb-stor/dos/ExportTool/ExportTool-v1.8.7-beta.zip