Thanks for running the numbers for me, I had just an intuition that at some point PoW will be obsoleted somehow, but the actual unfolding of events wasn't clear.

Your scenario has a lot of chances to realize. Might be other paths as well that will lead to some dialect of PoS on the Bitcoin chain, but energy cost is definitely very plausible.