No, I advised him to use 12.5mm and the boards were 12.5mm, basically after doing some of the boards properly which wasn't in the price, turned out that he just screwed some to the joist and most to the Kings pan insulation, when I told him that he said it be all right.
Some people dnt have a clue