Very comprehensive write-up! Thanks for posting!
FYI (for anyone looking at the "parts4euro" shifter): that is the exact same shifter that Ben006 sells for half that price ($125), except his have smooth ball bearings instead of bushings.
You can also get the same shifter on eBay for $60 or Alibaba for like $10
$250 is waaaaay too much