Precovers and orthogonality in the stable module category

We show that any module admits a presentation as the quotient of a Gorenstein projective module by a submodule which is itself right orthogonal, with respect to the standard Ext1 pairing, to the class of Gorenstein projective modules of type FP∞. For that purpose, we use the concept of orthogonality in the stable module category and examine the orthogonal pair which is induced therein by the class of completely finitary Gorenstein projective modules.