This sfgate article does not identify the person killed. Where did "Bob Lee" come from?