Regarding the OPs original question, will this arrive into T4 or T4S?

Do IB flights from LHR normally use T4? Because I always got the impression that non-schengen services (such as BA) had to use T4S, so I would have presumed that an IB service to/from LHR would also use T4S.

Would just be handy to know for future reference!