yes....
It does appear that you have the correct carbs.......the only way to be really sure would be to take them apart and check the jetting. That was about the only thing that seperated the carbs they used then on the few different model PWC's (SPX etc...). The manual does say to distinguish the difference between them, was the XP has a yellow dot on the carb body. That was from the manafacturer. I'm sure by now, that yellow dot would have been painted over.
But from what I can see, they do look like the carbs for your Doo......although the book doesn't state, I'd say they were Mikuni 38's. To be sure, I'd have to cross reference the main and pilot jet with a carb in the Mikuni manual. I don't see that necessary in this case though.