@mikehaynes sorry for the late reply, I missed this. Yeah it’s an original Pixel from 2013. I found someone selling them new on eBay. And it actually was all originally packaged with plastic wrap etc. I’ve no idea where he found a bunch of brand new ones. Battery took a while to get going but it’s charging fine now and holding its charge. It only had 5 hour battery life when it came out and it’s not doing too far below that now.
It was no longer getting OS updates so I’ve replaced ChromeOS with a open source fork of it which seems to be up to date and even adds the Google Play store. Running very well.