re: #496 Ben Hur

Did you have a nice Thanksgiving, Ben?