AVA135: When to Play the "Amen" of a Hymn?

This question was sent by Mike, and he writes: “When and When NOT to play the "Amen" of a Christmas Song/Carol? This has been a discussion. Some Christmas songs have an Amen at the end of them, some don’t. When playing one during a regular Church service, that has it at the end, I believe you play it. However, if you are playing this as a Christmas Carol, say for a choir to sing, then you don’t play it. Is this correct or not? Thank you very much.”