Hi all, been looking at getting a dryer, found out that heat pump is the most efficient one. Now I'm stuck between two choices. Miele TKB140 WP Eco that is 1699 sgd, or Blomberg TKF 8451 A30 that is 1399 sgd. Anyone has any past experience with either dryer care to shed some knowledge? Thanks a lot!