Jason and @Christophe_HK, thank you very much. 
@boston85719 and @ben4, I plan to make the details available. Stay tuned.
BTW, while the approach is conceptually straightforward, it was more challenging to implement than I anticipated due to the logic required to support both 24-hour and 12-hour format as well as dealing with some Bubble formatting deficiencies.
For instance, to get leading zeros, I divided the number by 100, formatted to 2 decimal places and then simply grabbed the last 2 characters…
If more leading zeros are needed, just divide by larger power of 10. It’s a handy technique, but it would be unnecessary with better formatting options in Bubble.