Picked up on this slightly late. If it now works to your satisfaction, don't worry about it, if not, old frogs are fairly readily available for no. 4s, 5s, and halves, etc for about £2-3 from second hand tool dealers. Sometimes you can still find the older machined frogs, with the larger bearing surface for about the same money. No.3s seem to be a rarity.