Hi HOWM
Actually, the Export Pro, just exports the data as it's saved on your database. So if you set up WooCommerce to show prices with a comma separator for decimals, they should be stored in that way in your db and exported as is.
Best Regards,
Salva.