BK5 is way short of what the BK7 has. BK9 is more like a BK7 with keys, and quite a number of improvements.
Oh, is it? I never tried the BK-5, but as it has always been slightly cheaper than the BK-7m despite the additional keybed and speakers, I suspected there must be something missing... I still have a high opinion of my BK-7m except just a few weaknesses (e.g. acoustic guitars).
The main advantage of the BK-9 is probably its 22 SuperNatural sounds. The other 500+ sounds are not such a big improvement over the BK-7m, as most of them stem from the SonicCell module or the Fantom X and are thus a bit dated and not of the high SRX library quality.