Tactics: He said "King", She said "Queen"

Yes: 25.Bxh7+ Kxh7 should win. The real question is: how should White continue?

The game continued:

25. Bxh7+!! Kxh7  26. Qh5+? Kg8 27. Re4 Qxd6!

A good counter-sacrifice. It's not the only move here, but it forcibly changes the course of the game: now White will have to consolidate and beware Black's active pieces. 

Black has two other defences which need to be considered: 27...Nf6 and 27...g6:

27... Nf6?! 28. exf6 Bxe4 29. Nxe4 Qf4 [only move] 30. Ng5 Qe3+  [only move] (30... Qf5? 31. Rf1 Qg6 32. Qxg6 fxg6 33. f7+ entombs the K and sets up mate: Kh8 34. Rf4 +-.) 31. Kh1 Qd3 [only move] 32. fxg7 Kxg7 33. cxb4 with an initiative that Black can't stop with 33... c3 since 34. Bxc3! and White's attack keeps storming along.

Black's other defence -- 27... g6!? -- isn't losing, but it leaves White with a comfortable choice: continue the attack or go for an endgame:

28. Rg4!? is the move that keeps the attack going, since if 28...Qd7 29. Rf1 and White has lots of pressure.

28. Qh6 seems to lead to very difficult-to-evaluate endgames:  28... f5 [only move] (28... f6? 29. Rg4+-) 29. Qxg6+ Qg7 30. Qe6+ Rf7 31. Rh4 Qxg2+!? (31... Nac7 32. Qxf7+ Qxf7 33. Nxf7 Kxf7 34. axb4 unclear) 32. Kxg2 Nf4+ 33. Kf2 Nxe6 34. Nxf7 Kxf7 Is hard to evaluate: unlike the variation with 31...Nac7, Black has an extra pawn, but White has an extra open file for his second R.

28. exd6 Nf6 29. Qe2 

Shocked by Black's defence on move 27, White overlooks the superior 29. Qxa5! +/=.

 29... Bxe4 30. axb4 Bd3 31. Qf3 Be4 32. Qf1 Bd3 33. Qf3 Black could reasonably play on, but was probably happy to get away with a draw, so:

 1/2-1/2

The winning line is this: 

25. Bxh7+ !! Kxh7  26. Re4! Kg8 

(Compared with the game line, on 26... Nf6 the White Q is attacking g7, so 27. exf6 just wins.) 

27.Rh4! Qd8 28. Qh5 Qxh4 29. Qxh4 bxc3 30. Bc1 +-

Black has given up a Q for R on h4 to prevent mate, but unlike Anand-Carlsen (WC g9) will not promote on c1. So Black has only a R+N for the Q and should lose.