So, to attempt to make the TEC run even cooler, I decided a standard bench PSU won't be able to provide enough power (12V, 3A). In addition, a bench PSU is not a good long term solution, and a dedicated PSU is probably a much better and cheaper solution....