Have heard back from Trek, and unfortunately the two top hat bushings aren't available any more (although the axle, bolt and main bushing are). Unfortunately, having now taken it apart, it looks like the problem is really with the top-hats. One is pretty much OK, but the other is pretty loose on...