I question how often a battery needs disconnecting in the workshop.
For some repairs, yes, but a general service, I don’t think it’d be part of the procedures.
There are supposedly ~25,000 Is300h in the UK. How many that are vulnerable to this problem, and undergo a repair that requires a battery disconnect at a dealer, is probably a small number.