I bought a 7 dollar (72 Skr) bearing puller of likely chinese origin, worked just fine to pull both of the larger
gearbox bearings. Installing the new bearings was easy. The output shaft bearing had a tighter fit and required
more force both to remove and install. It turned out a used inner fork tube is great for driving the larger gearbox
bearings in place (the smaller ones is a push fit by hand). I noticed a clear difference in smoothness when spinning
the gears in the engine case with the new bearings. Before there was a slight metallic rumble that I hadn't realised
was coming from the bearings.