Would it have made anything better really, though? Look how you've both moved on to giving one another friendly dining tips. So much better than the unpleasant memories fisticuffs would have engendered.
Besides, striking people in public houses is surely beneath your dignity?