I've also heard that the "Nokia Software updater for retail" (see Google!) is a good tool for managing updates if they aren't coming as you expect.