Abstract: I will report on work in progress whose goal is to prove that, for suitable choices of rank, c_1, c_2 on general polarized HK varieties of type K3^[2], the corresponding moduli space of stable sheaves contains a connected component which is a general polarized HK variety of type K3^[n] (for n=a^2+1, a=1,2,3,etc).