I just found out that an old college colleague of mine is going through a divorce. His wife filed, but I don’t know any particulars. They’ve got two daughters the same age as my boys, and my friend has to sell some beloved instruments to pay the lawyer. So sad for that whole family, but I suppose if people aren’t happy, then they’re just not happy. They were married for about 25 years.