Has anyone looked at using the AMT112S-V encoder? I can't find any AMT102-V encoders that are in stock, anywhere reasonable or without a long delay. The AMT112S comes in a similar kit form for about $40 and would otherwise be a drop-in replacement. Its default resolution is 2048 so you would have to re-program the encoder or change the AR3 source to match the new step count number.