I shouldn't imagine it being too hard.
Just looks like a few allen bolts and a connector to me. As long as you can find something that would fit in the casting, all looks ok :)
The spindle speed sensor is done off the driven pulley, so that would still be displayed correctly. Spindle speed is set via the pot on the rear of the machine anyway.
I have not looked over the motor driver schematics, but I'm sure at the worst case, an alternative could be easily added.

I have just taken a photo of the mounting for you:


Hope that helps,
Regards,
Dan