Professors work. A lot. Maybe not the ancient tenured ones, and not all of them, but the majority. It is far from a 40-hour job. And in the hard sciences/engineering/computer science, they could definitely be making more money in industry.