No, but somehow I'd missed the '2.5m max height for building within 2m of boundary' when I read it. Because it's definitely within 2m (extends to the rear boundary of the property).
Bother(!). I suspect that we'll have to get planning permission, then; as the (dual) pitched roof we want takes...