static PlayerInfo FindPlayerInfoByID(int id) { PlayerInfo result = PlayerDB.FindByID(id); if (result == null) { throw new DataException("Player id " + id + " was found, but no corresponding PlayerInfo exists. Database must be out of sync."); } return(result); }