Traffic counts only count vehicles, but people are the important metric. DOTs often forget that.
I'd say that even given that view, if the people-moved-per-hour count is low, perhaps it's time to consider expanding bus service that makes use of the HOV lane.
And yes, HOV lanes should be...