Heheh halb scherzhaft. Da hätt ich natürlich schonmal nen Blick reinwerfen können. Damit hätte sich die hälfte meiner Frage erübrigt. Danke nochmal für den Hinweis.

Besteht natürlich noch weiteres technisches Interesse daran, ob sich solche Fehler immer noch irgendwo verstecken können und man nach der 1500sten Spielstunde plözlich böse Überraschungen erlebt o.ä.
Aber das wird wohl niemand mit Bestimmtheit sagen können...