Este hecho llevó a que en 2013 se decidiese hacer oficial el apodo y rotular la obra con la marca comercial «Setas de Sevilla».