As matter of fact; I got the very last two oversize pins from HoE. I have only replaced one (upper one on the drivers side) so if you wish, I can measure the other one in case you know a metal workshop that is willing to make some for you in SS. You can answer me here or PM me if you wish. Another solutionI have heard of is changing the pins around so the less worn (should be the lower one) ends up where the most worn (upper on drivers side?) Have not tried this, but perhaps an idea?
By the way, sad with HoE. Great and helpful people, excellent stuff in SS.