Was it ever decided on what color the bike shed should be painted?