Emulating the right Ctrl key on MacBook Pro keyboard lacking an actual right Ctrl key I found the solution: Karabiner has an Option_R to Control_R feature