Now that the Carl Jr’s Portabello Mushroom $6 Burger now actually almost costs, well, $6, shouldn’t they rebrand it?

Like the “Wanna-be Red Robin Sans Flair Burger” or the “Bovine Spongiform Meat Puck”? Or at least index it to the Euro?