I have a 2013 Infiniti JX35 with a brake pedal that is softening when the car is at a full stop. An independent auto shop says that the ABS needs to be reprogrammed by the dealership as described in TSB 378415 (https://www.automd.com/tsb/bulletin_b378415/). The dealership claimed that this TSB did not apply to my vehicle.
How can I figure out if the TSB applies? If it does apply, how can I find out for myself if the reprogramming has been done or not?