Ok, well then I suppose we can agree that for those recreational divers who want to experience subtle, measurable (in studies only) positive physiological effects of trimix that remain unquantified when diving over 100' they're welcome to pay the additional cost of tri-mix if they can even find it.