How to print millis in [hh:mm:ss] format?

Many current Arduino boards do not keep accurate time as they use ceramic
resonators, which are accurate typically to +/-0.3% (several minutes a day).

A quartz crystal can be substituted on some of the boards if you have the
soldering skills, giving more like +/-50ppm (a few seconds a day accuracy).