I accidentally submitted a duplicate trouble ticket today. TT #7036 is the original one; #7037 is the duplicate which can be deleted. Sorry!