It was a typical inquiry from Steve Davis, a leader of Musk’s Boring Co., who at Twitter reduced expenditures, squeezed ...