Yes, I deleted my comment above shortly after leaving it because I figured it was a relevant discussion afterall unless I'm splitting hairs. (In the deleted comment I claimed this was all off topic to my original post).