You are not alone in this predicament. We have always used the customer provided hardware scenario with HP servers. If it were a matter of a few hundred - or even one or two thousand dollars - difference in cost of ownership, we would not give it a second thought and go with the Cisco hardware. however the price difference is more like $3000 - $5000 dollar difference if you buy the hardware from the HP channel, and we can't in good conscience recommend that to our customers. that says nothing of the cost difference of the HP care packs versus smartnet contracts.
As of now, we found a source for a small number of servers and bought them all up, and there is pretty much nothing left out there anywhere. Every person we talked to during the search knew of the situation, and said they had a run on this hardware from people who were similarly desparate not to pay $7000 for a $2500 server, with no replacement announced for the HP MCS 7825 equivalent.
These are the paths to get to each CCX logs through CLI. They may be helpful if you are having issues accessing RTMT or downloading logs through it.
If you want to download them you have to prefix "file get " and you can add one of the options (re...