Baker-King, BCF 1996

Hypothetical position from Baker-King.

White to play.

I was looking through some games with the Sicilian Grand Prix variation and came across Baker-King, BCF 1996, which attracted my analytic eye (and engines). As in many high-level encounters, most of the fireworks take place in the hypothetical lines. In the diagram above, from a position that could have arisen near the end of the game, it is White to play and win. I think I have this right.... In any event, I have the right idea and it is pretty cool.