Repairing gaming devices