I also suspect the reason IMR4451 isn't called some version of 4350 (HMR4350, or 4350.2?) is that there are already THREE versions of 4350 on the market. But 4451 fills basically the same niche, and may be the best version of all.
Why do you say that, John?
Pretty significant statement, considering the competition...