I can clarify. IRO hubs are IRO hubs. They are made by Formula, but they are not Formula hubs. Good quality hubs nonetheless.

Phil hub bearings are the exact same as grade 25 bearings you can get at any bearing dealer. Most major cities will have numerous bearing dealers. You can find them in the yellow pages. Phil bearings have nothing to do with 6001 anything. Where that came from I don't know. They are grade 25 ball bearings. Nice and you can even get generic grade 25 ball bearings at the LBS, but it will be lots cheaper getting them from a bearing dealer if you have access to one.