セツコの機体が三号機から一号機に変わったのですが、三号機の改造に使った資金は払い戻しになるんでしょうか?