My best estimate—and it’s a very rough one—is that an additional 1 million workers switched from restaurants and hotels to other industries during the pandemic.