Mark it as 'unable to reproduce' and don't worry too much about it until you get enough information to track down the cause. It sort of sucks, but if very few users are seeing the problem, sometimes it's not worth the effort unless you get a clear lead as to the cause of the problem.