  We construct a large family of normal $\kappa$-complete
$\mathbb{R}_\kappa$-embeddable non-special $\kappa^+$-Aronszajn trees which
have no club isomorphic subtrees using an instance of the proxy principle of
Brodsky-Rinot.
