You can find them on eBay for cheap. That makes them budget. Nobody cares if they were $9000 last year or a million when they were released. They are commonly found as cheap old business equipment or found in the trash. You can get a thinkpad today for under $600 new and and old ones for under $200. Ideapads have sometimes been more expensive than thinkpad so it's not a good metric.