Ok, so I'm resigned to taking out that section of ceiling, instead of removing the roof and going in from above. I'll DIY up to reboarding, so I'm now considering PIR vs. loft roll. It strikes me PIR will be easier to install, but never having done it would appreciate thoughts.