If they were able to get them out with a standard box end wrench, they must not have been very tight to begin with. The torx bolt has six points with no flats so a regular wrench wouldn't fit properly at all. Best bet is to get the right tool and they will come out. Many people replace the tranny bolts with regular bolts so they don't need to worry about the issue the next time around. I figured since I already bought the socket, might as well continue to use the bolts. My suspicion is that most of the problems with removing the bolts come from not realizing that one needs a special socket to do it.
JMHO
Spudboy