Very good thoughts! But the motor pulley is not a 4 inch it’s a 5 inch (5,4,3,2)
But in your calculations you’re not taking into acount the head stock gearing for low and high range. If the spindle pulley was driving the spindle directly you would be spot on!
I think this is my best options...