We are seeing this as well with a small subset of users. Only seems to impact 5 - 10 out of a couple hundred users. We have these registry keys in place.

It could be a possible load balancing issue but we are still trying to track this down.