Is the 2.5mm the diameter of the plug’s rigid shaft, or of the total diameter of the spring-loaded contacts?
If it’s the latter, what’s the diameter of the rigid shaft? If it’s 2mm, then there’s lots of options from the European banana manufacturers, like Stäubli, SKS, and Schützinger. The latter also has 2.4mm banana plugs.
Indeed, if you look for 2.4mm instead of 2.5mm, you find more results than with 2.5mm, making me think that 2.4mm was once a standard size. (2.4mm happens to be the closest diameter to 10AWG, though this may not be relevant here.)
By any chance, are the sockets in question the 2.6mm ones used for model railroads and the like? If so, the 2.0mm banana plugs fit them surprisingly well. (The 2.6mm model railroad banana plugs are the kind without the sprung basket thing, they’re just a 2.6mm shaft slit to allow compression. So the socket is a simple tube, and the added almost 1mm of diameter on a 2mm banana plug provides for good contact.)