I wasn't aware that there was a PCI Ti4200. I tried a few Google links, and the only PCI Ti4200 links were for a card made by Jaton. Jaton doesn't list the card in their product list, and most of the PCI Ti4200 links went to AGP Jaton Ti4200's. I'm inclined to think that there was a misprint somewhere, and a few resellers just copied that description without bothering to check to see if it was accurate. Most of the time, you can find newer video cards (or ones meant for niche markets) on Japanese websites before most folks in the US even hear about them, but I was unable to find any mention of a PCI Ti4200 on Japanese site links.
AFAIK, there are not yet any VIVO PCI 9200 or 5200 cards. That's not to say that they don't exist, but you may have to search hard to find one. The best VIVO PCI card that I know of right now is the AIW VE.
Hope that helps.