It is definitely set to what you've listed there Ray.
Not that we can find this in the PayPal account any more because they've change the UI, again, and it's all over the place.
I'm set up as an additional user on the client's account, but I can find no trace of the IPN settings section however I know for a fact that this is the URL that's set.