To keep AC functional, I found thread on Miataturbo about a stretch belt option that fits the pulleys well. The only downside is that it is a 3 rib belt, vs the 4 rib pulley. So far it's worked well, but the peak need for AC is many months away.