Oh, then yes a TEC is a good way of cooling...good luck with the project, though I would suggest using 635nm diodes.
A long time ago, right when I joined to forums, I used my phase-change CPU cooling system (r-402a, left over from my overclocking days) and cooled the diode down to ~-50ish C...