Do you have some sources to their actual pricing? Some while ago I tried and came up blank. I assume your statements to be correct, because otherwise what would be the point of discussion, but I haven't been able to find any hard(ish) data