[08:33] <JamesTait> Good morning all; happy Monday, and happy Ingersoll Day! :-D