Cormac Devlin (Dún Laoghaire, Fianna Fail) | Oireachtas source

Obviously €10 million is a lot of money and there is significant concern. I read the Comptroller and Auditor General's report for 2017 and I understand the issues with the international property measurement standards, IPMS, and the difference of measurement which caused the issue. Nonetheless, the Exchequer is out to the tune of €10 million. Hopefully that will be resolved soon. Will the witnesses keep the committee apprised of developments about that?

I turn to subhead B.7, for property maintenance. That is approximately €64.7 million, which is an increase of €4 million from 2018, when it was €60.7 million. I am harking back quite a bit, to 2013, but the question relates to the current day. Some 100 Garda stations were closed between 2012 and 2013. Are all of those stations still under the control of the OPW?