Seeking Input: How Should the City Use the Old SF Mint?