In several complex variables it is often desired to be able to solve the $\bar\partial$ equation. The standard tool for that is Hörmander's $L^2$ method and though I suppose that most who use it have at some point read at least a sketch of the proof, most probably aren't familiar with the tedious details that go into the proof.