Did you time the defrost to see if it actually takes 3.5 minutes?