How is it possible to format a "DateTime" data type to include milliseconds?

DR8.0 Custom mask is HH':'mm':'ss

Adding the normal .fff after the ss does not compute.

/MM