5.5mm nut driver stubby nut driver would be the best for getting out the screws holding the plate with the registration sensor on the 60 ppm machines.
Yes, exactly for those areas

Pretty sure ours Wiha are the defective ones

because are ordered by ton by R.... All my screwdrivers are Wiha and Made in Germany but won't last more than 1 year.