Timing Error - To Correct or Not to Correct

[cford]

This happened in a Division 2 game yesterday.

Team B (Visitors) is winning by 1 point. Player A1 drives to the basket and the ball goes out of bounds. The clock operator did not stop the clock on time and the Lead determines that 0.5 seconds should be on the game clock. The official tells the timer to put 0.5 seconds on the clock which the timer complies with. The clock shows __:_5 after the timer resets the clock. A1 throws the ball in from the end line into the middle of the paint to A2. A2 catches and shoots very quickly. The officials counted the basket and left the floor. The problem was that the LED lights & horn did not go off right after the shot. The LED lights & horn went off 5 SECONDS after she caught the ball. The timer had put 5 seconds by accident instead of 0.5 seconds!

There was NO monitor at the table. I couldn't find an AR ruling specific to this play. The rules for fixing timing errors refer to "the failure to start or stop the game clock properly". It doesn't say failure to put the correct time on the clock. Could this be considered not "starting" the game clock properly?

What could the officials do BY RULE to fix this mess?
1) Count the basket and declare the game over. (What they did and what seems to be the correct ruling.)
2) Disallow the basket and declare the game over.
3) Disallow the basket, put 0.5 seconds on the clock and redo the play. (Seems like the fair thing to do but I don't think this is supported by a rule.)


Section 6. Officials Duties in games without Replay/
Television Equipment
Art. 1. When an obvious timing mistake has occurred because of the failure
to start or stop the game clock properly, the mistake shall be corrected only
when the referee has definite information relative to the time involved.
After the ball is in play, such a mistake, shall be corrected during the first
dead ball or during the next live ball before the ball is touched inbounds or
out of bounds by a player. When the clock should have been continuously
running, the mistake shall be corrected before the second live ball is touched
inbounds or out of bounds by a player.