I’m going to keep my answers to yes and no unless I really have to, as I am very worried anymore will give it away.
Q5: Is it mentioned speficially by name in more than one song?
No
Q6: Is its primary significance in the JoCo world part of something that Jonathan Coulton has done that is not a musical work?
No