Found them! They are way down the keyboard out of range of the default view on Kontakt. Setting the Octave button to zero on the K5 keyboard panel revealed them.
As Bruce asks, how on earth do you actually switch on the keyswitches? I also have no red keys. Mucked about with the settings for half an hour with no joy. Can't help feeling this should be a bit ...