It is well known in narrow circles that the homological dimension (in the sense of relative Banach homology) of $c_0$-module $\ell_\infty$ is 2. As the corollary, this module is not projective. This proof is rather involved, its main ingridient is a lack of a right inverse for the mapping: $$ \Delta:c_0\;\hat{\otimes}\;c_0\to(c\;\hat{\otimes}\;c_0)\oplus(c_0\;\hat{\otimes}\;\ell_\infty): x\;\hat{\otimes}\;y\mapsto (x\;\hat{\otimes}\;y)\oplus(x\;\hat{\otimes}\;y) $$ in the category of left Banach $c_0$-modules.
I would like to see a more direct proof of non-projectivtity. The standard route would be to show that there is no right inverse $c_0$-morphism for the mapping $\pi:c \;\hat{\otimes}\; \ell_\infty\to \ell_\infty \colon a\; \hat{\otimes}\; x\mapsto a\cdot x$, where $c$ is the Banach space of convergent sequences.
Does anyone have an idea how to prove non-projectivity more or less directly?