Clearly some people were listening. A friend texted us this today:
Last Sunday at family dinner my mom asked the kids if we sang any Christmas songs as church, adding that she had sang "Joy to the World" at her church. In near unison my kids [ages 4 and 6] said, "That isn't really a Christmas song." My mom looked at them in confusion and my son said in complete confidence, "Listen to the words, Grandma. Not a real Christmas song."