Two-channel versus infinite-channel Kondo models for the single-electron transistor