If the mouse supports Logitech Setpoint, it might be worth installing it - I believe it has the reverse scrolling setting at a device level (though I've not tested those conditions exactly).