Fabulous! how many user styles can you make? probably none?
That's were Korg is the best for the money overall.
I'm not sure about making user styles onboard, but - like BK-7m - if you make your user styles with software assistance (Roland converter or EMC software or similar), you can store a virtually unlimited number of user styles, because the BK-9 always calls up styles directly from a USB stick.