It's a bit difficult to say; it's a hypothetical question.
To manage to serve 90% of passengers in 10 minutes—that is one of our objectives—it would cost about $40 million more. The short answer is yes.
That does not mean that we shouldn't evaluate other options as well. We should examine and study what can be done to improve this absolutely essential service. However, in our opinion, it is a bit irresponsible to raise this as a strictly financial matter in a pre-electoral context.