The delta in price isn't that different. Legit Hakko tips for FX888/903/907 are ~$7-10 each. Legit Hakko tips for T12/T15 are only $12-20 apiece. Twice as much, sure, but how many tips do you really go through? We're talking probably sub-$30 over many years in cost delta, for some significant advantages.
Legit JBC tips are closer to $20-40, but those are just a different price tier and much more premium. You can also get knockoff/clone JBC tips for $10 pretty easily, and in my experience they work just fine.