Colength sequences for matrices over Grassmann algebras

We prove that the colength sequence of k×k matrices over the Grassmann algebra is asymptotic to a constant times nk4.