Roof Top Tents at REI garage sale

I was just at the REI garage sale in Paradise valley. There were a couple of roof top tents for sale there. Tepui was the brand. I think the models were Sky 2. Or something like that. They were asking 350 for one and 425 for the other. My quick internet searching seemed to show that those sold for 1800 or so new.