I also hope that they continue to be able to use that tool, but at this point, it's clear to me that it would be wise to start learning new tools. For me, it's not just that the company has made a mistake, but that the mistake was a repeat of a mistake they made back in 2019, which indicates that they may well do it again.