From memory, I bought some bearings some time ago, 1.5mm, 2mm, and 2.5mm diameter. As George S suggests, my money will be on that it is either a 2mm or 2.5mm bearing. Luckily, I've not had to open up my TC-K75 at that part of the transport.
This aside, and I guess your TC-K71 is similar?, I'm...