Game console dev kits are typically _more_ expensive than the consoles they're for. So "full price" isn't a good argument. (The fact that they were available to the public is a stronger argument.)