The peppermint definitely works, I was given peppermint tea while in hospital and found it helped with both the shoulder tip pain and the gas.
Also a heat pack laying over my shoulder, so the heat was both in front and behind the shoulder, and laying flat so you're not tensing any of your shoulder muscles seems to help too