As a postscript, in the interest of fairness and happy endings, I just
found out that they are going to waive the extra look-under-the-hood
fee. I have much love for Toshiba repair shops in Japan again.