Tree-width of graphs without a 3×3 grid minor

We show that graphs with no minor isomorphic to the 3×3 grid have tree-width at most 7.