正門のペンキが剥がれ、さびが出てきたので、用務員さんがペンキを塗ってくれました。ペンキを塗るといっても、まず、グラインダーでさびた箇所を磨かないと、きれいに塗ることはできません。ペンキも何度か塗り重ね、完成しました。以前は青い門でしたが、シックな茶色い門になりました。