[KineticLensman]

Agree - it's not actually clear which type is meant. If boomers then this is a indeed very small number (e.g. only four for the UK, which is one of the few non-US countries (four?) to operate boomers).