Yeah, I get that -- I just didn't know if ICS on the older hardware with dedicated menu buttons would ignore the menu buttons in newer apps -- i.e. if they'd just disappear the whole concept of the menu button. If that's not the case, then I'm okay with it -- thinking I'll be skipping the Galaxy Nexus anyway.