The de-tuned hothatch was already known and mentioned when we last had this discussion.