Yep - although I only mentioned the 7.1 Direct part in my review's
update notes . I didn't think much about the tuner's name being fixed - you can't assign a digital input to the tuner, so it'll always be the tuner - but I did find it interesting that the 7.1 Direct's name wasn't editable.