[17:56] <DammitJim> hi all! has anyone seen Jimmy lately?
[19:17] <govatent> jimmy?
[19:55] <DammitJim> yeah, DJ Jimmy