  We present an exploratory study of a one-parameter family of covariant,
non-perturbative lattice gauge-fixing conditions, that can be implemented
through a simple Monte Carlo algorithm. We demonstrate that at the numerical
level the procedure is feasible, and as a first application we examine the
gauge dependence of the gluon propagator.
