btw, before reassembling ours, I took a bunch of close up pictures of the microswitch as I thought I might need to 3d print a replacement in the future. I haven't created a model for it but I suspect a fairly standard switch could be used provided that it makes when the metal guide runs across it both forwards and backwards. I think its linked elsewhere, but the
datasheet also contains probably enough dimensions as well to build a replacement. I was actually just considering trying a roller style switch.
www.dropbox.com