NCAA shot clock malfunction

[ChuckElias]

I would do it your way, too. Just use the one that works. If neither works, then you must, by rule, use another timing device. Playing without the shot clock is not an option by rule. I would rather have one clock visible at all times than have no visible clock.