Debugging a problem client using Push

I’ve been using the new Push feature in 7.1.9 in production and it is working okay for most users, but I have one user that complains of seeing the spinning wheel (top right) quite often and for long periods and has very sluggish response when trying to click on different components (I use a TabSheet). This client is Windows 7 / IE 9.

Is it possible to debug the communications in some way so I can see what is taking long for this client?

Thanks for any suggestions.