But for the other, we were super stuck on Cthulhu and kept chanting it over and over. Even suggested Ftagen for the other cat's name but that was stopped with extreme prejudice. I still think that set would have been awesome.

The other was named "Dr. Buttons MD" by the way. Cats need long names!

Yes, the entire family definitely knows Cthulhu. We have a couple board games that invoke the madness and my daughter even played "Hot Cthulhu" at her 6th birthday party. Hot Potato is so pedestrian. So I find it hilarious that my son came up with the name on his own. It may have stemmed from me wanting the pure black cat to help curse the neighborhood, but they all decided against it.