Averaged Navier-Stokes Modelling of Turbulent Channel Flow with and without For ingJ