There is a third option, Tighed1's belt wrap solution. It doesn't cost much and is easy to do. I added a brace to the additional pulley for extra support and iot seems to do the job.