http://teddyb.org/~rlpowell/media/public/setroubleshoot.strace.txt is the trace for setroubleshootd dealing with what seems to me to be a fairly simple AVC. What's interesting is that it's using 100% of the CPU doing that. Which is a problem since the message is being generated once a second or so, and taking 20+ seconds of 100% CPU to process. :)
Just thought y'all might want to look in to that.
-Robin