How stuck is the bolt? It was tight enough to strip the Allen head but was that already worn or were you using the wrong sized wrench? Basically trying to figure out if it will spin out pretty easily if you get a grip on it or if you’ll need big torque.
I’d hit it with some pbblast then the next day clean off the oil and drill it with a reverse drill bit slightly larger than the stripped hole. Good chance when the reverse bit grabs it will spin right out. If it doesn’t at least once you’ve drilled off the head you can switch to a smaller bit and drill out the bolt. Retap and you’re done.
Or, if you have access to a welder weld a nut to the top of your stripped head and back it out with a wrench.