They claim to be using Sandy Bridge chips so wouldn't they have to be using at least the 2011's?
My wife and I both use OSX, Clover 2560ps. I wouldn't claim they're "fully functional" - The video on them is not the best. Lots of bugs in iMovie and sometimes when running 1080p video you get vertical lines on screen, and not contained to the video itself.
Perhaps the guy running this site has solved that issue, but AFAIK I have the best running methods I could find from various Hackintosh communities and guides for the model I use.
https://www.amazon.com/HP-EliteBook-8460p-XU057UT-Notebook/d...
https://www.amazon.com/HP-Elitebook-2560P-Notebook-Refurbish...
But overall it doesn't matter they are selling 100-200$ refurbished parts for 100% or higher markup with no OSX installed, so overall it's a pretty scam ;)