Those must be pretty new models. They don't have all the links in on the website for them, yet.
I bought the VSX-23, and while I haven't really gone through the details, the 9140 seems like the same thing with a different finish on the front panel and different colored LEDs. So, like you said, very similar. The MSRP is the same on both, but dealers will be able to sell the 9140 online - which should drop the street price quite a bit.