Festool 15.6v Cordless Drill TDK15.6 CE-MH

Are these Cordless drills going on ebay good value @ $500 apparently a run-out model or superseded?

Judging by what I paid for a C12 couple of years ago it seems like they might be a bargain for someone chasing a name brand cordless.

Cheers