How to change the channels on the Vive Pro Base Stations

Vive Pro base stations can be used in large groups by setting each base station to a different channel in SteamVR. Channels can be changed by inserting a straightened paperclip into the hole on the back of each base station to press the button therein, with each press incrementing the channel by one. The channel of each base station can be checked in SteamVR.