My 54.3 remote doesn't have a star button but you got me thinking, I press and held the double diamond button and changed it from record to format function. So now, as you say, I can easily change it to stretch, which looks decent.
You're right also in that when I change channels I have to...