I read at http://en.wikibooks.org/wiki/C_Sharp_Programming/Variables that boxing should be avoided. The latest desyncs had many differences in the Health trait so I suspect the combat system to be broken or at least work differently on .NET/Mono. Can this be the root of the problem?