グランドマスターキーの交換、数十万円で済むかな?
盗難事件じゃないから、保険使えるかどうか。