My neighbor has this car and is looking for some help repairing it. The transmitter battery contacts were badly corroded and when I took them out they were broken in half.

Unfortunately they were tossed in the garbage before I could measure them and get the proper size. They appear to be 12mm by something, but I just can't be certain now that they have been tossed.

Is anyone able to send measurements or a link to purchase?