Mobility management is a major challenge for the wide-spread deployment of millimeter-wave (mmWave) cellular networks. In particular, directional beamforming in mmWave devices renders high-speed mobility support very complex. This complexity, however, is not limited to system design but also the performance estimation and evaluation. Hence, some have turned their attention to stochastic modeling of mmWave vehicular communication to derive closed-form expressions characterizing the coverage and rate behavior of the network. In this article, we model and analyze the beam management for mmWave vehicular networks. To the best of our knowledge, this is the first work that goes beyond coverage and rate analysis. Specifically, we focus on a multi-lane divided highway scenario in which base stations and vehicles are present on both sides of the highway. In addition to providing analytical expressions for the average number of beam switching and handover events, we provide design insights for the network operators to fine-tune their network within the flexibility provided by the standard in the choice of system parameters, including the number of resources dedicated to channel feedback and beam alignment operations.