The corona algebra of the stabilized Jiang-Su algebra

Let Z be the Jiang-Su algebra and K the C⁎-algebra of compact operators on an infinite dimensional separable Hilbert space. We prove that the corona algebra M(Z⊗K)/Z⊗K has real rank zero. We actually prove a more general result.