Top hat bearings are usually 6.3mm though I have had some in the past that are quite a bit bigger. JB.