good tip! I wonder why cmd-opt-ctrl doesn't have any other numerical bindings... it seems like there's an opportunity to create a usability convention, but instead, this function is sitting by itself on an island named "8".