Somehow red buttons for the door open and door close buttons in addition to the ALARM and PULLSTOP buttons seems like a bad idea.