What protocol do you use?
http://www.sbprojects.com/knowledge/ir/nec.htm
Someone said Samsung uses NEC code 38 kHz with a dutycycle around 0.25 to 0.33
HOW IS YOUR TIMING?
Increasing IR current that much would have made a difference if that was the true problem.
Do you have a scope so you can meassure the output of the TV remote control LED? (and if you have a nice digital one you might even post the pic)
/me
What IR receiver did you use?
When you PIC-scoped the remote what receiver did you use? What is the range and sensitivity using the standard tv remote control and this receiver?
Then we can get an idea of the FQ used. If you have good distance with the remote then it must be your LED that has a major output power problem. It might be burnt due to over current along the evolution chain.
Have you tried to move one thansistor to the base of the other, so you do all the mixing on the base.
Maybe just loose both transistors and sink current with the PIC and make a software mixer by turning on and off HPWM (and connect the led there with a resistor)
what partnumber is the led?
what part number is the receiver you have used?
/me