Whoa. The name Jose is mentioned in the Haggadah during Passover Seder dinner