I just flew this. IB only checks you in till LHR. You do need to fill out the Spanish health form even though you technically do not have to. The local agent is pretty, uhhh, how do I say it nicely, rigid and unwilling to verify my personal experience.