@roytanck@mastodon.online If you're friendly with a local mechanic, machinist, or welder they can probably extract that broken half-screw easily for you