Su nombre oficial es "Jardín de la Fama", pero todos le llaman por su burlón apelativo, que es muy antiguo en la colina.