Yeah, that part was kind of weird to me, since as far as I'm aware Theistic Satanists hate the LaVeyans with an appropriately burning passion. I know that's a beyond-nerdy nit to pick, but hey, Mike Judge apparently did enough research to know what a Theistic Satanist is in the first place.