I would not bet on it being released officially. The only place I have found the core connected (bing) ISO is a torrent. I grabbed both 64 and 32 bit ones and I really hope I don't ever have to risk using them.
But the next time I get one of those machines and the drive is not a bear to remove I am going to give it a shot on a spare drive. If/when that happens I will definitely report back with the results.
I have never had to order a factory disk ever and don't think it will think it would be cost effective to say replace a drive adding the cost of the drive, labor, and also the install disk.
And informing the customer that it will cost almost the same as another computer will not be good for business.
my.02 worth.