Well, the issue with higher ISO images is: what's a hot pixel vs. what's a result of salt & pepper noise–those are different artifacts...
When you start ramping up the ISO (and use PV 2010 or 2012 without luminance noise reduction) the likelyhood of random bright (more or less) pixels (or subgroups of pixels) goes up.
The hot pixel fix is still in LR/ACR...but it becomes a battle between what's a hot pixel vs what's a result of camera noise...and ACR/LR tend to be very conservative when it comes to mapping out a hot pixel (or dead or constantly a certain color pixel).
ACR/LR can really only estimate what constitutes a hot pixel because there's no way of recording the XY position of a single pixel and telling it how to handle the mapping. It's an auto thing and as such it's subject to sometimes not working perfectly...
To really determine the issue, one (or Eric) would need an actual raw file–not something that's already been processed and resample. The more examples of ACR/LR not doing an optimal result the better the likelyhood somebody will look at doing something about it.
"no way of recording the XY position of a single pixel and telling it how to handle the mapping"
Well I do think theres a probem with the way the detection works if this is indeed the case. Image noise is random whereas hot pixels are very constant, yes? That should make it dead simple to register a stuck pixel, really. If the mechanism needs manual input so be it, but it doesnt work as is (for me), obviously.