Oh no, not WorkMail. That costs ~US$4/user/month, which is not what I want at all. Check my response to your parent post.