I had one of those once and I did the same thing. There was absolutely no other way to repair it. That was 10 years ago, and the unit is still running to this day with no problem. Sometimes you gotta do what ya gotta do to get things fixed, even if it looks like crap.
Not as lean, not as mean, but I'm still a hardcore, ass-kicking, hard charging Marine! Oohrah!