Malc... if you want 05:05:07 rather than 5:5:7 then...

LCDOut DEC2 DecimalHours,":",DEC2 DecimalMinutes,":",DEC2 DecimalSeconds

hmmmm... DEC2 seems to be something to look up in the manual here...