非常用ドアスイッチ蓋の赤縁については、51001Fのものは明らかに太くステッカー貼付け位置も違うので「仕様としての個体差」とみてよさそうだけど、他は単純に製造時のばらつきな気がしてきたな…。