If he had stuff he was doing, then someone else had to do it, and therefore there was a cost. Even if this cost was someone going unpaid overtime.

If he is employed to do such work, then his salary should definitely be counted!