There have been several threads about the 9500 on this forum, including, just recently (like last two weeks). I have the 9500 Mk I. It is listed as a 10 color printer but of course only 9 are active at a time (gloss or matte black ink selection varies by paper setting). If you are going to print matte, you really, really, need to get third party profiles. Canon's profiles for its own media are not that great. Again, there was a thread about that quite recently.
The 9500 (both marks) have that 35 mm border problem. If you don't already know about that, certain paper choices in the printer driver require a 35 mm border, restricting image size. I've discussed this with Canon tech support and they solomenly (sic) tell me that edge-to-edge printing on "fine art" paper is too risky for fear of edge splotching. Yet borderless works fine with glossy media. The work around is to specify a media that does not bear the 35 mm stigma and adjust the printer settings and use the appropriate profile.
If you have the funds, I recommend going on up to 17 inch machine. That is the gateway to true pro printing with roll media and better OEM and aftermarket tech suport. The 13 inch machines fall into a limbo zone beween consumer grade inkjets and true prosumer gear.