The Philips is just barely above the minimum output for an HIR1 (9011) bulb. It's just the top few percentiles of 9005 burners, the ones just a teeny bit too "hot" for building into HB3 bulbs. This is possible because the allowable output range for an HB3 (9005) is 1496 to 1904 lumens, while the HIR1 is 1955 to 2645 lumens. The Toshiba HIR1s tend to be a lot further above the minimum for HIR1.
So, yes, it's worth buying the Toshiba and not worth buying the Philips.