Quixotic,
Instead of grinding a hardened socket, try the improved method to get the gearbox out without removing the swing arm.
The trick is to remove the 4 bolts on the transmission side of the gearbox, put a jack under the engine, unbolt the mufflers at the coupling tubes, then remove the engine's bolts and pull it forward as far as it will go. You gain enough place to remove the gearbox and, depending on the job at hand you do not have to remove the carbs (but the airbox...)
The bike stays on it's wheels and so is stable...
It is described in the post 1983 version of the maintenance manual, and I must admit that it makes the gearbox job much easier !