It's more than a service version update, since we're adding a few significant features. The new things will not _change_ Dolphin much, so I would expect 99% of the Market extension compatible with 7.2 to work with 7.3 just fine.