I'm running 22 mm copper c/h piping across 45 x 175 mm joists at 400 mm centres. The joists are across a 3.2 m void. BC were OK with using 150 mm but, belt and braces suggested I use 175. The walls of the piping insulation are 13 mm thick. Given I have a little bit more joist depth than strictly required, the question is should I cut out notches to a depth of 35 mm so that the boards just touch the top of the pipe insulation or should I cut out just 25 mm and trim the insulation tops?