I wonder how they knew what color to paint it.
Whatever they had leftover when they renovated the cafeteria...