Adi emailed me this answer, so I will post it.

Let us decompose $X=W\oplus E$ for some finite-dimensional subspace $E$ of $X$. Denote by $P_W\in\mathcal{B}(X)$ the bounded linear projection onto $W$ along $E$, and by $E^\perp\subseteq X^*$ the annihilator of $E$.  Define the bounded linear map $j:E^\perp\to W^*$ by the rule
\begin{equation}jx^*=x^*|_W\;\;\;\text{ for all }x^*\in E^\perp,\end{equation}
which admits a bounded linear inverse $j^{-1}:W^*\to E^\perp$ given by the rule
\begin{equation}j^{-1}w^*=w^*\circ P_W\;\;\;\text{ for all }w^*\in W^*.\end{equation}

Set $R:=j^{-1}\circ S^{*}\circ j:E^{\perp}\to E^{\perp}$, and let $H$ be an AIHS for $S^{*}$ with error $M$. Put $G:=j^{-1}H$ and $N:=j^{-1}M$, which are closed subspaces of $E^{\perp}$ and hence also of $X^{*}$.  Then for any $x^{*}\in E^{\perp}$ and any $x\in X$ we now have
\begin{eqnarray*}
  ((P_W^{*}T^{*})x^{*})(x) & = & x^{*}(TP_Wx) \hskip 4cm  (\mbox{note } P_Wx\in W)\\
    &=& x^{*}(SP_Wx)=(jx^{*})(SP_Wx) \hskip 1cm (\mbox {note } (jx^{*})\in W^{*} )\\
    &=& (S^{*}(jx^{*}))(P_Wx) = ((j^{-1}\circ S^{*}\circ j)(x^{*}))(x) \\
    &=& (Rx^{*})(x)
\end{eqnarray*}
so that $P_W^{*}T^{*}\equiv R$ on $E^\perp$.  Since also $G\subseteq E^{\perp}$, this gives us
\begin{multline*}(P_W^{*}T^{*})G=RG=(j^{-1}\circ S^{*}\circ j)(j^{-1}H)\\=j^{-1}(S^{*}H)\subseteq j^{-1}(H+M)=G+N,\end{multline*}
and hence
\begin{equation}\tag{1}T^{*}G=(P_W^{*}T^{*})G+((1-P_W^{*})T^{*})G\subseteq G+N+((1-P_W^{*})T^{*})G.\end{equation}
Now, $I-P^*$ is a projection onto $W^{\perp}$, hence $(I-P^*)T^*(G)\subseteq W^{\perp}$. As well, $T^*(W^{\perp})\subseteq W^{\perp}$, since $W^{\perp}$ is a (finite dimensional) invariant subspace for $T^*$ . Put now $G_0:=G+W^{\perp}$ Then:
\begin{eqnarray*}
% \nonumber % Remove numbering (before each equation)
  T^{*}(G+W^{\perp}) &\subseteq & T^*(G)+T^*(W^{\perp})\subseteq G+N+((I-P^{*})T^{*})(G)+W^{\perp} \\
   & \subseteq & G+W^{\perp}+N=G_0+N
\end{eqnarray*}
As $\text{dim}(N)=\text{dim}(M)$, the space $G_0$ is an AIHS under $T^*$ with defect $\leq d$.