http://to-jo.infoさんの記事とかを見る限り、51001F登場時は非常ボタンやドアスイッチのステッカーが一部無かった?らしいので、そのへんのステッカー貼られて登場した2F以降からそれに合わせて赤縁の寸法変えたのかなという気がしてます