10 years ago our studio (indie in pre-indie times) tried to purchase the NDS dev kit and it costs something like 50k USD (if I still remember it correctly) and

10 years ago our studio (indie in pre-indie times) tried to purchase the NDS dev kit and it costs something like 50k USD (if I still remember it correctly) and tons of due diligence for a chance to play with it as having game actually published involved another process.