If he does use gologit2 then he should remember that Brant's test
should play the same role here that Levene's test should in anova,
namely a minor bit part that may end up on the cutting-room floor.
If the sample size is large then Brant's test can detect trivial non-
parallelism that would not impair the usefulness of an analysis that
assumed parallelism. On the other hand, and unlike anova, if the
sample size is small than all results that do not use Firth-type
corrections should be regarded with suspicion.
As to what he should do if the non-parallelism is non-trivial,
consider the following excerpt from Agresti, 2002, Categorical Data
Analysis, p 282: "If a proportional odds model fits poorly in terms of
practical as well as statistical significance, alternative strategies
exist. These include (1) trying a link function for which the response
curve is nonsymmetric (e.g., complementary log-log); (2) adding
additional terms, such as interactions, to the linear predictor; (3)
adding dispersion parameters; (4) permitting separate effects for each
logit for some but not all predictors (i.e., partial proportional
odds); and (5) fitting baseline-category logit models and using the
ordinality in an informal way in interpreting the associations. For
approach(4), see Peterson and Harrell (1990), Stokes et al. (2000,
Sec. 15.13), and criticism by Cox (1995). In the next section we
generalize the cumulative logit model to permit extensions (1) and
(3)."