In my experience, people use the carpool lane and still go the same speed. The problem is and will always be people and their driving habits.
On this particular stretch of freeway, the problem is not enough road.