Should games marked as being OT on LHSAA be counted as ties?