personally I would have said TKO 10 as the 9th round had finished!