A Walther ppk 7 huh, that you chased someone away with?...That a tiny gun, I think his 357 mag would well, take out that...Even with his horrible aim.
BTW I have a Walther ppk 7 too. Only I got it from my grandfather who jacked it from a German officer that he shot up in WWII.