HP did re-release the 15c earlier last year or so, I think it was $100 which was cheaper than the old stuff you could buy. They said limited edition but I'm not sure - they might still be around? It's an option if you want old HP without paying a ton for something that may be in questionable condition.
Not without its flaws though, I'm pretty sure it's got way worse battery life, among some other problems.
