Thanks for all the support over the years. I may post here from time to time, but for the most part, JRM is retired.
