I have ordered the Bosch PBS75A (green) from Amazon Prime for £93, to be delivered today. I am sorry to contribute to Amazon's project to Rule the World, but the fast delivery and easy returns are very seductive.
I read this article, among others:
https://www.pricerunner.com/test/belt-sander
The Makita came out Top Gun but for my specific purpose the balance of pros and cons was pretty good for the Bosch, which finished "Best Budget", and which will also use my existing collection of reasonable quality 75x533mm sanding belts. The dust extraction system gets some praise. It points "the wrong way", but as I shall mostly use the sander static upside-down, I can handle that, making a vacuum hose adapter, if I have to.
*** The short power cable is just daft, is there a tip for safely lengthening it???**
My thanks to all of you for your suggestions, and to ChaiLatte especially for increasing my knowledge of Needle Roller Bearings and finding an ingenious solution. And I agree, the old bearing DOES appear to have an additional "sleeve" on it, so it might well be a 10x14mm bearing with a 14/16mm sleeve.