Cannot comment on that location but I've noticed a few sellers on ebay seem too just take older 4GB ram chromebook and install linux on them before selling them for $50-75. If you're not as lazy as I am you can do the installation yourself of course.

I think the raspberry pi is mainly interesting for its small size, GPIO pins and very low idle power.