Technical cat bore size. anyone ?

[techbug]

hi, i have a very small hole im my cat pipe right near the join with the back box (back and middle). i want to put a sleeve over the affected area but i need to know what size sleeve i'll need to go over the cat pipe.
thanks
1998 bravo 1.4