The supply of still-reliable RS232 mice must therefore be dwindling ... maybe you can make use of a USB to quadrature converter.