Yeah, but WWF (wrestling) were forced to change their name, so surely there's a possibility of doing the same with the NFL!