In total, the cost of the convoy for PPS was about $6.3 million in overtime accrued expenditures. I should say that not all of it was taken; a lot of it will be taken on leave. In total, it will be about $4.5 million.
The employees had a choice to either be paid for the overtime or take it as compensatory leave. In the future months, they'll be able to take the time off and enjoy time with their families.