Yes it should really be there. To be honest, though, after a few years, drain offs are so unreliable that I would be looking for any other way possible to drain pipework rather than use a drain off that will either not work at all or will leak after its been used.
However, if its on their quote...