HS Boys Shot Clock Question

[Redneck Ref]

HS boys shot clock (35 seconds). If one of the crew has definite knowledge of time left on the clock after a shot clock violation should time be put back on the clock? Situation that happened was the time on the game clock was 36.5 when the shot clock started. When the shot clock horn went off and the official blew his whistle (violation), then the game clock horn sounded. There was the difference of 1.5 seconds. The crew had different opinions, one thought that the quarter was over, one thought time should be put back on the clock and the other stayed neutral. What should have been the correct ruling?