Yes, thankfully, they are turning out to be good buddies. Mango seems the more serious and skilled hunter -- probably because of his time on the streets when he was a stray -- whereas Mattie likes to flip the mouse in the air a lot but doesn't seem to have the idea of killing it.

And we disabled our cat door long ago. I'm not sure I could deal with an extra cat visiting and picking fights.