I love the feedback/interaction available here with some manufacturers, this is customer service!
I have never used the cooltone dev but having followed the previous threads I am intrigued with it as an opposing alternative to the warmtone dev. Long answer, but I would put in for a bottle (at similar cost to warmtone dev) - for curiosity sake and perhaps to assist those that really need the dev back again.