Hewlett Packard CEO Leo Apotheker‘s move to exit the consumer computer business could bring more bad news for San Jose’s budget. The Palo Alto computing colossus currently pays San Jose and the arena’s management firm $3.25 million annually to hang its sign at the HP Pavilion’s entrance. Of that amount, $1.25 million goes directly into the city’s general fund. But with the agreement set to expire at the end of 2015, and HP’s plan to spin off its line of PCs—like the “Pavilion” models—the Shark Tank’s proper name seems unlikely to stick. Tom Manheim, director of communications for City Manager Debra Figone, says the city is pretty sure it hasn’t heard from HP that the company wants to change the arena’s name or end the agreement prematurely. Part of the reason for the uncertainty is that downtown coordinator Lee Wilcox, who recently took on naming-rights management, just returned from paternity leave. With a few million dollars potentially in limbo, Wilcox might want to make checking that inbox a priority. An HP spokesman said no one at the company could provide details on the agreement or discuss the name game. But if a name change does occur, it won’t be the first time. Longtime HP employee Ron Gonzales, who took a break to serve as mayor of San Jose, was in office in 2002 when the city rebranded “Compaq Center” after his corporate benefactor HP acquired Compaq. If the conventional wisdom that Oracle CEO Larry Ellison is now girding for a hostile takeover of HP after bringing HP’s dumped CEO Mark Hurd on board comes true, San Jose could do even better. Ellison has long sought ownership of an NBA franchise. In 2007 the arena’s naming-rights agreement was amended so the city would receive an additional $800K if basketball ever found its way to San Jose.