Replacement for AC idler pulley bearing EAC3042 + pulley carrier EBC1091

Can’t remember but has anyone developed a serpentine belt system for the xjs