To clarify here in case anyone's confused: "RED" is the model line for New 3DS XL. The system model number is RED-001. (Standard New 3DS is KTR.)just checked my new 3ds xl with that tool. it stats the model as "red" altough my device is black. so was my model once red and the previous owner changed the case? that would explain why it's in top notch condition.
edit: I should have used the search engine first ..