We investigate a stationary model for turbulent flows, in which the Navier-Stokes system is coupled to an equation for the density of turbulent kinetic energy through a bounded coefficient of eddy viscosity. We prove the ...