I read that the Mouse Systems Bus Mouse is basically the serial mouse with a separate 8250 on a card on unusual addresses, but I could find no information as to what IRQ it uses. Does anyone here happen to know? Thanks in advance!