Another option in this case is to find other donors to make up the rest. Maybe one can have the largest lecture theatre named after them, or the street renamed

Another option in this case is to find other donors to make up the rest. Maybe one can have the largest lecture theatre named after them, or the street renamed, or choose the art, etc.