今回の場合は、製造とメンテが別で(まあよくある)、メンテ側で勝手に変更を入れられると、製造側が考慮していないという可能性があったので、やっぱり先に問い合わせするべきだったなぁと感じた。
思考の /dev/null