[KJUmp]

Your post indicates that you had definite knowledge of an error by the table in not properly resetting the shot clock. So why would you even consider punishing the Red team as an option?

Yes, reset to :30 Red throw in at POI.