I'm replying only to share that I had the same thing happen to me for the first time ever this morning. I've been a Galaxy user since at least the S2 (all "stock" through AT&T), and fortunately have never previously had this problem.
Thanks for sharing the power + volume-down button; I never...