Let $R$ be a henselian dvr, $s,\eta\in\text{Spec}(R)$ the closed and generic points, and $f : X\to \text{Spec}(R)$ a proper smooth scheme.

For a prime $\ell$ invertible on $R$, is there a specialization map

$$sp^i_{\eta,s} : R^if_*(\mu_{\ell^n})_{s}\to R^if_*(\mu_{\ell^n})_{\eta}$$

(with $\eta$ and $s$, not the geometric points over them)?

Is it an isomorphism, injective, surjective?