A trick I have seen several times: If you want to show that some rational number is an integer (i. e., a divisibility), show that it is an algebraic integer. Technically, it is then an application of commutative algebra (the integral closedness of $\mathbb Z$, together with the properties of integral closure such as: the sum of two algebraic integers is an algebraic integer again), but since you define algebraic number theory as the theory of algebraic numbers, you may be interested in this kind of applications.
Example: Let $p$ be a prime such that $p\neq 2$. Prove that the $p$-th Fibonacci number $F_p$ satisfies $F_p\equiv 5^{\left(p-1\right)/2}\mod p$.
Proof: We can do the $p=5$ case by hand, so let us assume that $p\neq 5$ for now. Then, $p$ is coprime to $5$ in $\mathbb Z$. Let $a=\frac{1+\sqrt5}{2}$ and $b=\frac{1-\sqrt5}{2}$. The Binet formula yields $F_p=\displaystyle\frac{a^p-b^p}{\sqrt5}$. Now, $a^p-b^p\equiv\left(a-b\right)^p\mod p\mathbb Z\left[a,b\right]$ (by the idiot's binomial formula, since $p$ is an odd prime). Note that $p$ is coprime to $5$ in the ring $p\mathbb Z\left[a,b\right]$ (since $p$ is coprime to $5$ in the ring $\mathbb Z$, and thus there exist integers $a$ and $b$ such that $pa+5b=1$). Now,
$\displaystyle F_p=\frac{a^p-b^p}{\sqrt5}\equiv\frac{\left(a-b\right)^p}{\sqrt5}$ (since $a^p-b^p\equiv\left(a-b\right)^p\mod p\mathbb Z\left[a,b\right]$ and since we can divide congruences modulo $p\mathbb Z\left[a,b\right]$ by $\sqrt5$, because $p$ is coprime to $5$ in $p\mathbb Z\left[a,b\right]$)
$\displaystyle =\frac{\left(\sqrt5\right)^p}{\sqrt5}$ (since $a-b=\sqrt5$)
$=5^{\left(p-1\right)/2}\mod p\mathbb Z\left[a,b\right]$.
In other words, the number $F_p-5^{\left(p-1\right)/2}$ is divisible by $p$ in the ring $\mathbb Z\left[a,b\right]$. Hence, $\frac{F_p-5^{\left(p-1\right)/2}}{p}$ is an algebraic integer. But it is also a rational number. Thus, it is an integer, so that $p\mid F_p-5^{\left(p-1\right)/2}$ and thus $F_p\equiv 5^{\left(p-1\right)/2}\mod p$, qed.
By usual (sometimes not so trivial) homological arguments, one can reduce to the case where $M$ is a finite discrete module over an artinian ring of residual characteristic $p$. In that case, I think you want $S$ to contain places above $p$ as well, even if your $M$ is unramified at $p$, so let me assume this.
The module $M$ induces an étale sheaf $M_{et}$ on $\operatorname{Spec}\mathcal O_{L,S}$ for all finite extension $L/K$. The spectral sequence UPDATE (converging to $H^{i+j}(\operatorname{Spec}\mathcal O_{K,S},M_{et})$)
$$E_{2}^{i,j}=\underset{\longrightarrow}{\operatorname{\lim}}\ H^{i}(\operatorname{Gal}(L/K),H^{j}(\operatorname{Spec}\mathcal O_{L,S},M_{et}))$$
then induces isomorphisms between $E_{2}^{i,0}$ and $H^{i}(\operatorname{Spec}\mathcal O_{L,S},M_{et})$ or in other words $H^{i}(G_{K,S},M)$ is isomorphic to $H^{i}(\operatorname{Spec}\mathcal O_{K,S},M_{et})$. So you can assume that you are working with Galois cohomology throughout $provided$ you use Galois cohomology with restricted ramification.
Because the Tamagawa Number Conjectures are formulated only in the setting above, Bloch and Kato could have used Galois cohomology instead of étale cohomology everywhere without changing anything. To touch upon your last question, I think there are two reasons why they chose étale cohomology.
First, at least at the time they wrote, Galois cohomology was not the most familiar object of the two. In fact, many classical well-known results were given correct complete proofs only very late (in the late 90s in some cases). On the other hand, SGA (and works of Bloch and Kato themselves) existed as references for étale cohomology.
Second, using étale cohmology, one can formulate the TNC over more general bases than $\operatorname{Spec}\mathcal O_{K,S}$ (for instance any scheme of finite type of $\mathbb Z[1/p]$). This kind of generalization had been the key idea of previous works of Kato and Bloch-Kato on higher class field theory so it is not surprising that they decided to at least allow the same kind of generality in their subsequent works.
Best Answer
You could read Milne, Arithmetic Duality Theorems http://jmilne.org/math/Books/ADTnot.pdf and Neukirch-Schmidt-Wingberg, Cohomology of Number Fields http://vg02.met.vgwort.de/na/a877a4fbfcec4aad9721c766bc577bb3?l=http://www.mathi.uni-heidelberg.de/%7Eschmidt/NSW2e/NSW2.2.pdf