Luis, OS 4.0 for the SD1 should be released within one month and should include a lot of new features, so better wait a little more.
Re. keys feel: neither the SD1 nor the 9000 pro have a piano-like action; the choice is a matter of taste, because the keys are also shaped differently, so nobody except you can tell which one is better.
Maybe, if you could explain what kind of music you play or what your needs are we could help you more with your choice.
_________________________
Korg Kronos 61 and PA3X-Pro76, Roland G-70, BK7-m and Integra 7, Casio PX-5S, Fender Stratocaster with Fralin pickups, Fender Stratocaster with Kinman pickups, vintage Gibson SG standard.