I learned something new then today. I had no clue that Marantz did the same thing Harman Kardon does. That is pretty nice (not in this specific scenario, but that is a useful feature).